「コンパイラ・スクリプトエンジン」相談室10

「コンパイラ・スクリプトエンジン」相談室10at TECH

「コンパイラ・スクリプトエンジン」相談室10 - 暇つぶし2ch680:デフォルトの名無しさん
06/08/25 00:17:56
>>678
addはカリー化された加算関数で、型はint(int) (int)なので
これでOKなはず。４ページ目の一番上の例は、int (int)な関数だよね

> さすがに、OCaml?ばりの厳密で容易なカリー化は期待できないっすよ。

そりゃOCamlほど容易ではないけど、厳密かどうかで言えば同程度には厳密でしょ

次ページ