soutaro https://blog.hatena.ne.jp/soutaro/ soutaroブログ https://soutaro.hatenablog.com/ OCaml http://jijixi.azito.com/cgi-bin/diary/index.rb?date=20051115#p01Haskellを初めて見たときは、型推論があるのに、型宣言がたくさん書かれていたので、ちょっとびっくりした記憶があります。Haskellくらいリッチな型システムは、型推論できなかったかも。私は「(コンパイルを通すための)必要最小限しか書かなくても良い」と思ってます。ocamldocすれば型も出てくるわけですし、ドキュメントを調べるのとソースコードを確認するので、そんなに手間が変わるわけでもないと思いますから。第一、OCamlって、型を書きにくくないですかね？これは「型… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsoutaro.hatenablog.com%2Fentry%2F20051115%2F1132055057" title="型を書いておいて欲しいという話 - soutaroブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-11-15 20:44:17 rich https://soutaro.hatenablog.com/entry/20051115/1132055057 1.0 100%