関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
27: デフォルトの名無しさん [sage] 2021/12/31(金) 03:53:55.07 ID:aP8qPSMg(2/5) AAS
自己解決したけどデータが多いとスタックが...
>countword . countchars . map chkspand $ " 1313 13 111 rfr fdf"
>5
318: デフォルトの名無しさん [] 2024/07/27(土) 23:34:35.07 ID:r3Qeb3es(4/4) AAS
>>316他人を語ったつもりもないけどね？（ID見れば分かるんだし）
ちなみに>303-305も私だ。
1日2-3回くらいしか見に来ないから、書き込めることはまとめて書き込んだ結果です。
376(1): デフォルトの名無しさん [sage] 2024/09/30(月) 12:40:29.07 ID:+8KmLjt4(1) AAS
圏論の極々一部のモナドを主語をデカくして圏論ガーとか言ってる人は何も分かってないんだなと思うけどね
俺みたいに数学かじってた人からすると
圏論を勉強すると「あ、この概念はこの分野のこれのことか」ってわかるけど
そうじゃない人は何のことを言ってるのかわからんと思う
専門家でも自分の担当外の圏なんて知らないのに
圏論という括りで語ろうとする人はそういうのすら理解してない
450: デフォルトの名無しさん [] 2024/10/03(木) 20:00:39.07 ID:B2Xmf+Xl(6/9) AAS
訂正
computationというか、今でいう「入出力の予約情報と返り値の情報がまとめられたもの」を
数学的にうまく正当化するということが達成することができるのであれば、
入出力つきのプログラムを、valueからcomputationへの対応
に割り当てるということが正当化できるはずだ、と考えられる。
487: デフォルトの名無しさん [sage] 2024/10/04(金) 21:34:24.07 ID:qBjLuAvO(2/2) AAS
関数の「型」を見ろ
入力が何で出力が何かが宣言されている
544(1): デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq(1) AAS
>>542反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ
597: 596 [sage] 2024/11/16(土) 14:36:30.07 ID:Avgm411i(2/2) AAS
円記号がバックスラッシュになっていたので訂正
￥36,125
フォントによるわけだが
629: デフォルトの名無しさん [sage] 2024/12/20(金) 15:54:59.07 ID:IOWVZ3it(1) AAS
スマホでHaskell書く必要ある？
ないよね
651: デフォルトの名無しさん [sage] 2025/01/13(月) 17:46:46.07 ID:uTEEqnKb(1) AAS
あけなしておめでとうございます
去年は多様性がようやく否定され始めた年ですが、
今年はhaskellの純粋主義のやうに分類・隔離・排除躍進の年となるようがんばりましょう
692: デフォルトの名無しさん [sage] 2025/10/10(金) 20:26:02.07 ID:OD0KmsJp(1) AAS
【移民】 は努力もせずに日本の豊かさを手に入れる
2chｽﾚ:kankon
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s