星野正利のHaskell日記 このページをアンテナに追加 RSSフィード

 | 

2006-06-18フツケル独書会第2回議事録

P.56 型推論(type inference) P.56 型推論(type inference) - 星野正利のHaskell日記 を含むブックマーク

スゴイ。

型を指定しなくても、コンパイラが型をチェック出来るだなんて。


変数引数戻り値を、具体的なクラスよりも、interface にするように」

って、わざわざ気をつけなくても、

自動的に、型に(必要以上に)縛られないプログラムを書けてしまう?

 |