2011-02-03から1日間の記事一覧
Haskell といえば型システム。しかしクラスとは何でしょう。第3章を読みはじめます。 「型」は「値の集合」 v :: T と書いて「v の型は T」と解釈する v は評価されていない(簡約されていない)式のままでもいい。つまり、式は型を持たないといけない 型推論 …
Haskell といえば型システム。しかしクラスとは何でしょう。第3章を読みはじめます。 「型」は「値の集合」 v :: T と書いて「v の型は T」と解釈する v は評価されていない(簡約されていない)式のままでもいい。つまり、式は型を持たないといけない 型推論 …