06/08/25 00:25:58
>>680 上段
ほんとだー。すまねー orz
>>下段
あ、すいません。『厳密』 ってのは 『制約』 ってのと同じような意味で使いました。
OCaml ではカリー化された関数しか扱えないみたいっスから。
int add(int x, iny y) { return x + y; }
「こんな感じに定義して add(1) ってしても 1 + y が帰ってこないじゃないかー」
って >>674 は想像しているのでは？ って思いましたんで (^-^;;
06/08/25 00:25:58
>>680 上段
ほんとだー。すまねー orz
>>下段
あ、すいません。『厳密』 ってのは 『制約』 ってのと同じような意味で使いました。
OCaml ではカリー化された関数しか扱えないみたいっスから。
int add(int x, iny y) { return x + y; }
「こんな感じに定義して add(1) ってしても 1 + y が帰ってこないじゃないかー」
って >>674 は想像しているのでは？ って思いましたんで (^-^;;