「カリー化は、オプションのパラメーターを持つための単なる派手な方法です」という Web 上の男の声明を読みました。直観的には、このステートメントは浅くて間違っていると感じますが、ラムダ計算に関する十分な知識がないためか、実際には指を置くことができません。
違いを説明しようとすると、私の説明は段落にまたがりますが、ほとんどの場合、「カリー化は、型としてパラメーターの数が少ない関数の宣言のすべてのバリエーションを持つことです。しかし、オプションのパラメーターを持つ関数のすべての組み合わせを有効な型として持つことはできません。少なくとも自動的にではなく、他の宣言でそれらを使用してください。」
私のアプローチは最初は正しいですか?さらに重要なことに、それを説明するためのより簡単でわかりやすい方法はありますか?