[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
85(1): 2019/02/03(日)22:28:53.80 ID:DdA3Wm74(7/9) AAS
>>81
終了条件だよ。
>>27のPythonコードで言うと
if n == 0:
return 1
の部分と同じだよ。
110(1): ◆QZaw55cn4c 2019/02/03(日)22:55:58.80 ID:t4xt++Qj(17/20) AAS
>>92
3 * 2 * 1 * 1 * fact(1-1)
その 1 - 1 はどういう理由で 1 - 1 と書いたのですか？
119: 2019/02/03(日)23:01:49.80 ID:PKgH5/Eo(4/6) AAS
>>108
> fact 0 = 1とか定義されちゃってるから変形もなにもあの形にしかならんでしょう
いいえその形には絶対になりません。
「fact 0 = 1とか定義されちゃってるから」
= 3 * 2 * 1 * fact 0
は
= 3 * 2 * 1 * 1
になります。うん、これはいい。次。
「fact 0 = 1とか定義されちゃってるから」
= 3 * 2 * 1 * 1
省4
171(1): 2019/02/22(金)19:51:15.80 ID:ioyynd1U(4/5) AAS
a2とa3が分離されそうなことはわかるんだけども
folder_left f (f a a1) [a2 a3]
＾＾＾＾
こいつがどこ行くのっていうのと
どこをどうやったら（）で括られることになるのかイメージできない
191: 2019/02/23(土)18:12:36.80 ID:RiBir1w3(8/15) AAS
>>190
PythonならBlenderで頂点やマテリアル抽出するときに必須だったから使ったことあるけど
インデント縛りで胃が溶けそうだった
正直もうやりたくない・・
241: 2019/03/22(金)06:11:43.80 ID:t/nkQ3ne(1/8) AAS
一応、カウンターみたいなのは純粋関数型言語には作れない言われてたから、作ってみた。
確かにi++みたいな事は出来ないが、違う方法で参照透明性を確保しつつ実現出来ると実感。
(個人的にHaskellには副作用はあると考えているが、参照透明性は崩れないとも考えている)
262: 2019/03/23(土)12:16:16.80 ID:XiFmcVOc(2/3) AAS
何か噛み合ってないな
自然な感覚に近い表現ができるほうが可読性高いよねくらいの話でしかないはずなのに
今何の話になってるんだ？？
351: 2019/05/12(日)21:06:22.80 ID:yBh745ei(1) AAS
クロージャにしなくてもいいラムダはただの関数として扱われるんじゃない？
というか上のコードならセーフっていうのはgを使いまわしてくれるから？
そんな気の利いた処理系なら下のラムダも使いまわしてくれそうだけど
361: 2019/05/24(金)08:28:17.80 ID:jCONIFNW(2/2) AAS
格闘技ですら、反則には反則負けという意味が含まれている
550: 2019/10/16(水)02:26:39.80 ID:lWzU93N+(1) AAS
モノ モノイド
818: 2019/12/01(日)15:15:43.80 ID:3hecj3NX(1) AAS
doは単なる構文糖だな
それで、Pythonのlambdaの仕様を変える必要がないことが証明されてしまった
これだけでも十分大きい
870: 2019/12/19(木)23:44:31.80 AAS
つまり Rust の時代か
904(1): 2019/12/30(月)09:12:01.80 ID:zGgGf8ov(2/2) AAS
要件定義が整っている関数の書き下ろしと
プログラムで記述されたコードの読み下しは難度が異なる
Haskellのコードは情報密度が高い事と抽象度の高さが強烈に効く
920(1): 2020/01/01(水)09:16:52.80 ID:msO/HyKq(2/3) AAS
=>= 2020年の抱負 =>=
・珠玉本を再開したい。少なくとも二度目の四天王登場回までは行きたい
・Haskell でごはん食べる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s