morita_non https://blog.hatena.ne.jp/morita_non/ memo https://morita-non.hatenadiary.org/ 100問突破! 飽きっぽい私としてはめずらしいことよ。 単純型システムに入った時、intのつもりで、natと書いてしまっており、なんで通らないんじゃーと一時間くらい無駄にした。97問目 k2の型は int->???->int のような形になるけど、真ん中に何を入れても成立した。 OCaml本体はどないなってんのやろか。Cでも関数宣言してないでコンパイルすると、とりあえずint型を返す関数と仮定しまーす。みたいなワーニングが出るし、矛盾が起きない限りわりとどうでもいいのかもしれない。 (* TYPE_S=(int -> (bool -> int) -> int) -> (int -> bool … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorita-non.hatenadiary.org%2Fentry%2F20140702%2F1404307104" title="プログラミング言語の基礎概念オンライン演習 - memo" 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 2014-07-02 22:18:24 rich https://morita-non.hatenadiary.org/entry/20140702/1404307104 1.0 100%