在子集中，我在紅色的波浪曲線中得到以下錯誤。 Type mismatch. Expecting a Range -> Choice but given a Range * Range -> Choice 是否有某種類型的註釋我可以添加到SubSet匹配，所以我不必使用fst和snd？如果不是，是否有意支持這種語法？ type Range = {min : int64; max : int64}
我不確定是否允許非靜態的公共成員活動模式，但是您可以在編譯器不抱怨的情況下定義它們。如果他們被允許與一個匹配的語法是什麼？編譯器給我FooBoo2.doSomething中的Foo類型不匹配。期待'a -> Choice<'b,'c>給'a -> 'd -> Choice<unit,unit> // No error in this class, static works great
type