サクサク読めて、アプリ限定の機能も多数!
Haskellの型シグネチャは暗黙に量化される
ruicc のブックマーク 2011/08/26 23:14
Scoped type variablesが必要になるとき - maoeのブログ[haskell][ghc]Haskellの型シグネチャは暗黙に量化される2011/08/26 23:14
このブックマークにはスターがありません。 最初のスターをつけてみよう!
maoe.hatenadiary.jp2011/08/26
whereの中の局所定義に型シグネチャを付けると Couldn't match type `a' with `a1' ...といわれて型検査を通らない!という経験はありませんか?これを直すには字句的スコープを持つ型変数が必要です。この機能は...
13 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /
Haskellの型シグネチャは暗黙に量化される
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Scoped type variablesが必要になるとき - maoeのブログ
whereの中の局所定義に型シグネチャを付けると Couldn't match type `a' with `a1' ...といわれて型検査を通らない!という経験はありませんか?これを直すには字句的スコープを持つ型変数が必要です。この機能は...
13 人がブックマーク・4 件のコメント
\ コメントが サクサク読める アプリです /