2012-03-02から1日間の記事一覧

第10章 型とクラスの定義 #8

10.8 練習問題 以下のインスタンス宣言を完成させよ。 instance Monad Maybe where ... instance Monad [] where ... ここで[]は、[a]から型変数を取り除いたリスト型を表す。 ヒント:最初に、それぞれのインスタンスのメソッド return と >>= の型を考えよ…