OCaml: 型注釈って面倒ですね。 - type t (* void *)卒論で死にそうです。色々。 PPLのポスター発表に間に合うのでしょうか、その前に卒論発表会に間に合うのか…。 それはさておき、型注釈を色々見ていたら、MLも闇だなぁと思ってたのでちょっとメモしてみます。 追記の追記の追記： @camloebaさんにツッコミをいただきました。型注釈という言葉は不適切ということでした。 毎度ありがとうございます[´･_･`] @no_maddo 型注釈とは言わない。型制限と言う— 星のキャミバ様 (@camloeba) 2014, 2月 17 @no_maddo Parenthesized expressions can contain a type constraint, as in ( expr : typexpr ). それを type annotation と呼ぶところから間違いが始まります— 星のキャミバ様 (@camloeba) 2014, 2月
