Haskellの型シグネチャは暗黙に量化される

ruiccruicc のブックマーク 2011/08/26 23:14

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Scoped type variablesが必要になるとき - maoeのブログ

    whereの中の局所定義に型シグネチャを付けると Couldn't match type `a' with `a1' ...といわれて型検査を通らない!という経験はありませんか?これを直すには字句的スコープを持つ型変数が必要です。この機能は...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう