関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
564: デフォルトの名無しさん [sage] 2024/10/28(月) 16:01:27.57 ID:3PX2guVI >>563 それ面白いと思ってレスしてんの? http://mevius.5ch.net/test/read.cgi/tech/1639713446/564
565: デフォルトの名無しさん [sage] 2024/10/28(月) 17:13:55.02 ID:B1OBTGXf 10年前のtwitterでは鉄板ジョークでしたよ すごいH http://mevius.5ch.net/test/read.cgi/tech/1639713446/565
566: デフォルトの名無しさん [sage] 2024/10/28(月) 19:07:28.37 ID:aKxYxFxQ haskell知らない人はエロ本だと思うし 隠れた卑猥な意味が無ければ 隠語としての価値も無い http://mevius.5ch.net/test/read.cgi/tech/1639713446/566
567: デフォルトの名無しさん [sage] 2024/10/28(月) 19:57:49.83 ID:2RuMUG8y ML族のRustが市民権を得た今haskellやる意味ないよ その時間をRustに当てなさい http://mevius.5ch.net/test/read.cgi/tech/1639713446/567
568: デフォルトの名無しさん [sage] 2024/10/28(月) 21:28:05.60 ID:B1OBTGXf 平均的HaskellerはRustもやった上でLinearTypes拡張がどうなるか様子見しつつ両方使ってるのでは？ https://zenn.dev/konn/articles/2023-10-01-linear-haskell-in-2023 http://mevius.5ch.net/test/read.cgi/tech/1639713446/568
569: デフォルトの名無しさん [] 2024/10/28(月) 22:50:50.12 ID:duvMwVsG Haskellスレで言われましても わざわざカレー屋に来て「ラーメンを食え」って喧伝するようなものでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/569
570: デフォルトの名無しさん [] 2024/10/29(火) 10:29:33.30 ID:2QinlXet >>567 ほんそれ http://mevius.5ch.net/test/read.cgi/tech/1639713446/570
571: デフォルトの名無しさん [sage] 2024/10/29(火) 11:58:27.10 ID:IrbjK6II Rustを関数型扱いするやつは Rustも関数型もまるで理解してない だから誰も真面目には相手してくれない http://mevius.5ch.net/test/read.cgi/tech/1639713446/571
572: デフォルトの名無しさん [] 2024/10/29(火) 12:22:05.93 ID:dZcxKFDp そう。世界がHaskellから孤立していく 世界はもっと危機感もった方が良いよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/572
573: デフォルトの名無しさん [sage] 2024/10/29(火) 15:30:57.70 ID:+9FvEifI 実用プログラムに使った例はあるの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/573
574: デフォルトの名無しさん [sage] 2024/10/29(火) 16:00:48.67 ID:FJXFYfo2 >>567 MLとは全然ちゃうがな HM型推論せんやろ http://mevius.5ch.net/test/read.cgi/tech/1639713446/574
575: デフォルトの名無しさん [] 2024/10/29(火) 22:29:59.15 ID:LPWWq4s4 >>573 自分も詳しくはないけど、クローズドな分野が多いんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/575
576: デフォルトの名無しさん [sage] 2024/10/29(火) 23:08:38.64 ID:+9FvEifI >>575 秘密ということ、それじゃわからんと同じことじゃないか http://mevius.5ch.net/test/read.cgi/tech/1639713446/576
577: デフォルトの名無しさん [] 2024/10/29(火) 23:25:09.95 ID:6SLkDv7J 世界は頭悪すぎてHaskellを使いこなせていない 世界はもっと危機感を持った方が良い http://mevius.5ch.net/test/read.cgi/tech/1639713446/577
578: デフォルトの名無しさん [sage] 2024/10/30(水) 02:10:51.19 ID:p9nsrTZ/ 急に主語が大きくなったぞωωω=2πf http://mevius.5ch.net/test/read.cgi/tech/1639713446/578
579: デフォルトの名無しさん [sage] 2024/11/02(土) 09:15:14.82 ID:KpOoS8wa クローズドな部分なら使ったうちには入らないな http://mevius.5ch.net/test/read.cgi/tech/1639713446/579
580: デフォルトの名無しさん [sage] 2024/11/02(土) 18:11:47.64 ID:3NvQMTDb 金融工学で使ってるとこあるかもね OCamlが定番らしいし http://mevius.5ch.net/test/read.cgi/tech/1639713446/580
581: デフォルトの名無しさん [] 2024/11/02(土) 19:19:33.26 ID:Mufqfjtq >>580 やはり実務ではフィンテックですか。 このスレで趣味教養的に 数理の応用実験や アート作品生成プログラム記述用とかで 使ってる香具師いる？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/581
582: デフォルトの名無しさん [] 2024/11/02(土) 19:33:48.22 ID:pIz290+w >>580 みずほでOCamlしか聞いたことない 結局大規模障害出ちゃったけど http://mevius.5ch.net/test/read.cgi/tech/1639713446/582
583: デフォルトの名無しさん [sage] 2024/11/02(土) 19:38:33.59 ID:3NvQMTDb >>582 金融商品の設計に使うんだよ その手の障害とは全く関係ない http://mevius.5ch.net/test/read.cgi/tech/1639713446/583
584: デフォルトの名無しさん [] 2024/11/02(土) 20:11:17.53 ID:pIz290+w >>581 どっちかというと、教育に興味があって、例えば足し算の足し方が増加と追加って2種類あるんだけど、追加は後から増えるって意味だと教科書に書いてあるけど、その説明がもやもやする。 それで、違いを考えるとこれは 増加の足し算：末尾再帰。その場で簡約出来る 3 + 2 = (3 + 1) + (2- 1) = 4 + 1 = (4 + 1) + (1 -1) = 5 + 0 = 5 追加の足し算：再帰。基底部まで来てから簡約開始。リストの ++ 演算子的な動き。 2 + 3 = 1 + ((2 - 1) + 3) = 1 + (1 + ((1 - 1) + 3)) = 1 + (1 + (0 + 3)) = 1 + (1 + 3) = 1 + 4 = 5 みたいに、足し算作らないと気付かない違いを気付いて教えるのに役立ててる。 (+1/-1の代わりにsucc/pred関数の適用で考えた方が分かり易いかも） http://mevius.5ch.net/test/read.cgi/tech/1639713446/584
585: デフォルトの名無しさん [] 2024/11/02(土) 20:16:43.59 ID:pIz290+w >>583 そうなんだ。 そういうライブラリ頼みっぽい事なら、MathmacticaとかPythonのが良さそうなのにね。 金融商品だったら統計に強いRだってあるし。 なぜわざわざOCamlだったのやら…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/585
586: デフォルトの名無しさん [sage] 2024/11/03(日) 11:40:35.68 ID:kGU90lSm >>584 本スレ誘導 https://mevius.5ch.net/test/read.cgi/tech/1710585705/ http://mevius.5ch.net/test/read.cgi/tech/1639713446/586
587: デフォルトの名無しさん [sage] 2024/11/03(日) 17:33:41.03 ID:4RaSizfZ その手のはかなり昔からの話だしその頃pythonはそんな一般的ではない http://mevius.5ch.net/test/read.cgi/tech/1639713446/587
588: デフォルトの名無しさん [] 2024/11/03(日) 18:58:10.27 ID:W/WQS3jI >>586 え…。 Haskellを何に使ってるか聞かれたから答えたのに、そりゃ無いよ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/588
589: デフォルトの名無しさん [sage] 2024/11/06(水) 18:53:34.69 ID:s8sk505y semigroupoidsのAltからFunctor抜いたやつないのかな catsのSemigroupK相当のやつ http://mevius.5ch.net/test/read.cgi/tech/1639713446/589
590: デフォルトの名無しさん [sage] 2024/11/07(木) 02:17:24.00 ID:w1FRCcDr HackageもHaskellWikiもつながらねえ 攻撃でも受けたか http://mevius.5ch.net/test/read.cgi/tech/1639713446/590
591: デフォルトの名無しさん [] 2024/11/07(木) 06:45:43.72 ID:NVSipRlq 数か月前もHoogle繋がらなかったしね…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/591
592: デフォルトの名無しさん [] 2024/11/09(土) 18:32:16.19 ID:r4DlAvJp mylist.py TotalSeconds : 6.1246778 1:def mylist(n, m): 2: a = 1 3: outer = [] 4: for _ in range(0, n): 5: inner = [] 6: for _ in range(0, m): 7: inner.append(a) 8: a += 1 9: outer.append(inner) 10: return outer 11: 12:print(mylist(6000, 8000)[-1][-1]) 上と同じ動きのコードを書いたけど、 アルゴリズムとしてはPythonと同じmylist.hsのコードが良いはずなのに、 どっちも最適化するとmylist2.hsのが良好。 （ファイル名の横の秒数は実行時間） mylist.hs TotalSeconds : 4.107899 1:main = print.last.last $ mylist 6000 8000 2: 3:mylist n m = take n.f $ [1..] 4: where f ns = xs:f ys 5: where (xs, ys) = splitAt m ns mylist2.hs TotalSeconds : 2.3916408 1:main = print.last.last $ mylist 6000 8000 2: 3:mylist n m = take n.iterate f $ [1..m] 4: where f = map (+m) http://mevius.5ch.net/test/read.cgi/tech/1639713446/592
593: デフォルトの名無しさん [] 2024/11/09(土) 18:32:43.47 ID:r4DlAvJp mylist2.hsのアルゴリズムは f = map (+3)とすれば [1,2,3] [4,5,6] -- f [1,2,3] = [1 + 3, 2 + 3, 3 + 3] = [4,5,6] [7,8,9] -- f (f [1,2,3]) = f [1 + 3, 2 + 3, 3 + 3] = [4 + 3, 5 + 3, 6 + 3] = [7,8,9] と、行数が増えるごとに関数の適用回数が増えるので本来なら遅いはずですが、 考えるに直前の結果をキャッシュする様な最適化が施された模様。(-O3) （そうすると、mylist.hsのsplitAtの方がボトルネックになる?） 最適化なしでのコンパイルはしてないので、 もしかしたらiterateの中身自身がキャッシュするように改良されたのかも。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/593
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 74 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.016s