fの種類は何ですか? class C f where
comp :: f b c -> f a b -> f a c
私が書かれています:(* -> *) -> * -> * は、この正しいですか? cは具体的なタイプ*です。 aは、型を取り、型を生成する型です。両方ともfのパラメータですか?私の議論は正しいのですか? Tの種類は? data T f g = T (f String
識別子パターンの結果をasパターンにコピーしてタプルを作るにはどうすればいいですか? 私の質問が混乱しているので、私は例を作成し、私は教師や学生のいずれかである人物の情報を印刷したい: type Person =
| Teacher of name: string * age: int * classIds: int list
| Student of name: string