関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
18: デフォルトの名無しさん [] 2021/12/23(木) 17:28:45.18 ID:iaSGtOUq ken80297274 岡部さんのサブアカウント発見 http://mevius.5ch.net/test/read.cgi/tech/1639713446/18
56: デフォルトの名無しさん [] 2022/01/27(木) 08:50:29.18 ID:NJ4yaxSd https://qiita.com/lucker_summer/items/baa68e681872de44d5f8 コメント欄ひどすぎだろ @stken2050（これ岡部健）が非道いので皆さん通報してほしい http://mevius.5ch.net/test/read.cgi/tech/1639713446/56
162: デフォルトの名無しさん [sage] 2022/11/09(水) 01:51:03.18 ID:3Bh922De まあ学者さんたちのお遊びだからね・・ http://mevius.5ch.net/test/read.cgi/tech/1639713446/162
249: デフォルトの名無しさん [sage] 2023/09/22(金) 13:06:36.18 ID:8SLDLfd5 https://jutememo.blogspot.com/2008/06/haskell-join-listdata-intersperse.html http://mevius.5ch.net/test/read.cgi/tech/1639713446/249
280: デフォルトの名無しさん [sage] 2024/03/06(水) 10:29:39.18 ID:Yy7OLBEk なんか大げさな例えを使いたがるやつが増えたなぁ コーディングの上でなんの役に立つんだが http://mevius.5ch.net/test/read.cgi/tech/1639713446/280
385: デフォルトの名無しさん [sage] 2024/10/01(火) 04:04:03.18 ID:PZ96E01/ 別にそれ圏論を持ち出す必要ないよね ハイおしまい http://mevius.5ch.net/test/read.cgi/tech/1639713446/385
470: デフォルトの名無しさん [] 2024/10/04(金) 19:24:13.18 ID:tixO3LDq Moggiのアイディア２ ・入出力プログラム（に対応する数学的概念）は、圏をなすはずだ。 Moggiのアイディア１の段階でもprog :: A → IO Bは参照透過性を保ったまま入出力を行うプログラムになるはずだが、 入出力プログラム同士の合成が考えられていない。入出力プログラム prog1、prog2と開発したら、できるだけ再利用するというのが 現実のプログラミングだと思う。わざわざprog1とprog2の合成として定義できそうなプログラムを得るために、イチイチいちから 開発するということを理論的に要請されるというのは不合理。 純粋関数は、λ式に割り当てられることになって、当然、圏をなすだろうに、 プログラムに割り当てられるものが圏を成さないというのはおかしい。 でも、入出力プログラムはMoggiのアイディア１から、 prog :: A → IO B という特殊な返り値の型を持っているため単純な合成ができない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/470
511: デフォルトの名無しさん [] 2024/10/04(金) 23:14:09.18 ID:tixO3LDq 全域関数となる理由はわからん。全域関数＝数学的関数ということを言いたいんだろうと思ってたけどそこから詰めてなかった。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/511
594: デフォルトの名無しさん [] 2024/11/10(日) 16:05:22.18 ID:AfmJKCJ3 これ数学的にどういうことなのか かいつまんで教えてくらまいか watch?v=dYj0rPQeRkA http://mevius.5ch.net/test/read.cgi/tech/1639713446/594
664: デフォルトの名無しさん [sage] 2025/03/19(水) 11:03:50.18 ID:JUfTLTVZ IntSetのsizeがO(1)じゃなくO(n)なのはなぜですか、O(1)で実装できそうなもんですが http://mevius.5ch.net/test/read.cgi/tech/1639713446/664
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s