山本和彦 @kazu_yamamoto 適切な説明は「Haskell では型を簡潔に書けるので、トップレベルの関数には書きましょう。ローカル関数は、(型推論があるので)型は書かなくてもいいでしょう。」でしょうね。 2011-05-02 18:26:33 山本和彦 @kazu_yamamoto 「動的型付けだと、型を書かなくてもよく、コードがすっきりするので、バグは入り込みにくい」という主張には、型を書くのは面倒だという思い込みがあるんですね。 2011-05-02 18:27:54
![型検査と型推論](https://cdn-ak-scissors.b.st-hatena.com/image/square/2f0f09f1399ca1d1b084638b92e63fc306900f9a/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2Fb3ef96fc9cdc51731d27332a16204acd-1200x630.png)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く