タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

JavaとhaskellとF#に関するigrepのブックマーク (1)

  • 型安全ってなんだろう?

    kyon_mm @kyon_mm @osiire はい。。。F# を日常的に使っていたり、OCamlを勉強していると、型安全って静的型付けであることとは違うし、型によって何を保証したり、表現できれば型安全であるって言えるのかよくわからなくなってきました。型安全って言葉を安易に使えないですね。 2012-09-20 19:02:42

    型安全ってなんだろう?
    igrep
    igrep 2016/04/01
    型安全性で何を守るかは、守れる範囲が広くなるようにAPI設計や言語機能をがんばったりする努力に依存するので守れるものに多少があるのは当然なことでは
  • 1