タグ

型推論に関するcubeonのブックマーク (1)

  • 型検査と型推論

    和彦 @kazu_yamamoto 適切な説明は「Haskell では型を簡潔に書けるので、トップレベルの関数には書きましょう。ローカル関数は、(型推論があるので)型は書かなくてもいいでしょう。」でしょうね。 2011-05-02 18:26:33 山和彦 @kazu_yamamoto 「動的型付けだと、型を書かなくてもよく、コードがすっきりするので、バグは入り込みにくい」という主張には、型を書くのは面倒だという思い込みがあるんですね。 2011-05-02 18:27:54

    型検査と型推論
    cubeon
    cubeon 2011/05/03
    プログラミングHaskell買った当日に訳者の人の型についてのtogetterみると感慨深いものがある
  • 1