2008-10-23から1日間の記事一覧
ocaml-nagoyaでid:syd_sydさんにHaskellの型推論のマニアックな機能について教えてもらった。型クラスに複数のパラメーターがあった時に、そのパラメーター同士の関係を明示する事で、より直感的な推論結果を導けるらしい。具体的にはfunctional dependencie…
ocaml-nagoyaでid:syd_sydさんにHaskellの型推論のマニアックな機能について教えてもらった。型クラスに複数のパラメーターがあった時に、そのパラメーター同士の関係を明示する事で、より直感的な推論結果を導けるらしい。具体的にはfunctional dependencie…