2010-12-31から1日間の記事一覧
Kindについて調べていましたが、言語仕様に詳しく書いてありました。http://www.sampou.org/haskell/report-revised-j/decls.html 記号 * はすべての引数なしの型構成子を表す。 もし、k1 および k2 が種ならば、 k1-> k2 は種 k1 のある型を引数としてとり…
Kindについて調べていましたが、言語仕様に詳しく書いてありました。http://www.sampou.org/haskell/report-revised-j/decls.html 記号 * はすべての引数なしの型構成子を表す。 もし、k1 および k2 が種ならば、 k1-> k2 は種 k1 のある型を引数としてとり…