3
<<
<
>
>>
1/1
1 ななしのよっしん
2019/07/16(火) 16:52:06 ID: JShmN+5Mec
全然利点が分からない……。
偉い人たちが積極的に使ってるということはそれなりの利点が絶対にあるのだろうけど、僕には難しすぎますw
「カリー化しないと実現できない操作」とかってあるのかな?
2 ななしのよっしん
2020/03/10(火) 01:33:35 ID: BU3Rf1Ddvi
意味論とかを考えてる人には論理を見通し良く扱いやすいものにするために必須らしい
データベースの圏の双関手としてデータの直積を自然に構成するのに使うとかなんとかかんとか
データの変換とか格納の「効率の良さ」を感覚じゃなくアルゴリズム的に導くということらしい
ようするに道具としてプログラム使ってる人にはあんまり恩恵はないということですな
3 ななしのよっしん
2020/08/08(土) 21:21:42 ID: H7QFlwzpl/
単純に関数がカリー化されていると部分適用をすることができるからラムダ式を書く手間が省けるって言うのとポイントフリースタイルが使えるっていうのじゃね?(要するに高階関数が使いやすい)
<<
<
>
>>
1/1
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。