関数型プログラミング言語Haskell Part34 (694ﾚｽ)
上下前次1-新
540: 2024/10/07(月)16:51 ID:89HfDe1C(1) AAS
>>539
君頭悪いなら無理に書き込まないほうがいいよ
541(1): 2024/10/08(火)16:34 ID:uOPPJ/Hn(1/2) AAS
圏論好きはHaskellよりCPLで幸せになれる
542(1): 2024/10/08(火)19:19 ID:fXGz3G0z(1/2) AAS
>>529
集合と写像って違うんですか？写像って集合ではなかったですか？
543(1): 2024/10/08(火)19:24 ID:u3fJk7wa(1) AAS
>>541
CPLとは？ｋｗｓｋ
544(1): 2024/10/08(火)19:35 ID:i8KKt4Pq(1) AAS
>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ
545: 2024/10/08(火)20:00 ID:fXGz3G0z(2/2) AAS
>>544
なるほど。勉強になります。
546(1): 2024/10/08(火)20:58 ID:uOPPJ/Hn(2/2) AAS
>>543
CPL (圏論プログラミング言語)
外部ﾘﾝｸ:ja.m.wikipedia.org
547: 2024/10/08(火)21:59 ID:fIGAPb3c(1) AAS
CPL使ったことは一度もないが
関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ
548: 2024/10/08(火)23:08 ID:Fz/Eetv9(1) AAS
こんなんだけど

>通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない.
>また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない.
549: 2024/10/09(水)00:11 ID:NBQjGpZO(1) AAS
O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。
550: 2024/10/09(水)20:31 ID:UpCIlB6y(1) AAS
>>546
Thenks！！
551: 2024/10/12(土)20:07 ID:fyUcodga(1) AAS
初心者はStack、ガチムチはCabalで開発するんですか？
552: 2024/10/15(火)05:30 ID:CzVFQLgH(1) AAS
みんなStackだよ
Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし
553: 2024/10/15(火)22:34 ID:2I09ehic(1) AAS
詳しい情報サンクス
CabalやめてStackに帰ります
GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします
554: 2024/10/16(水)05:04 ID:PvdZsye3(1) AAS
ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました
やっぱStackすわ
555: 2024/10/18(金)18:33 ID:358zSdqs(1) AAS
別に不具合あったわけじゃないならよくね
みんなとか言い出したらそもそもみんなhaskellなんか使ってないが
556(1): 2024/10/25(金)23:46 ID:jl3K3ThU(1) AAS
Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？
Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった
その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい
あるいは最近の書籍でよりおすすめというものでも
557(1): 警備員[Lv.3][新芽] 2024/10/25(金)23:58 ID:ss1i659U(1) AAS
ちょっと古い情報だけど、
僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような
いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合
558(1): 2024/10/26(土)01:14 ID:jaMDzNJq(1/2) AAS
>>556
ラムダノートのプログラミングHaskell第2版
これを読めばモナドの使い方がわかる
559(1): 2024/10/26(土)13:33 ID:qze4GRwI(1) AAS
モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか
560: 2024/10/26(土)14:33 ID:jaMDzNJq(2/2) AAS
ない
別に理論的な部分はすっ飛ばしていいよ
純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい
全てはdo記法にため
561: 2024/10/26(土)18:20 ID:QG40CL6R(1) AAS
>>559
だったらCleanはどうでせう？
モナドの代わりに線形何たらっての使ってる。

副作用関数を使い捨て関数と捉える概念らしいけど…。

変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。
んで、

return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2
省5
562: 2024/10/28(月)07:23 ID:duvMwVsG(1/2) AAS
>>557 >>558
ありがとう
まずはラムダノートのプログラミングHaskellを買いました
すごいH本はもう一冊読もうと思って時に買います
563(1): 2024/10/28(月)11:18 ID:ABlPDVd9(1) AAS
すごいエロい本か
564: 2024/10/28(月)16:01 ID:3PX2guVI(1) AAS
>>563
それ面白いと思ってレスしてんの?
565: 2024/10/28(月)17:13 ID:B1OBTGXf(1/2) AAS
10年前のtwitterでは鉄板ジョークでしたよ
すごいH
566: 2024/10/28(月)19:07 ID:aKxYxFxQ(1) AAS
haskell知らない人はエロ本だと思うし
隠れた卑猥な意味が無ければ
隠語としての価値も無い
567(2): 2024/10/28(月)19:57 ID:2RuMUG8y(1) AAS
ML族のRustが市民権を得た今haskellやる意味ないよ
その時間をRustに当てなさい
568: 2024/10/28(月)21:28 ID:B1OBTGXf(2/2) AAS
平均的HaskellerはRustもやった上でLinearTypes拡張がどうなるか様子見しつつ両方使ってるのでは？
外部ﾘﾝｸ:zenn.dev
569: 2024/10/28(月)22:50 ID:duvMwVsG(2/2) AAS
Haskellスレで言われましても
わざわざカレー屋に来て「ラーメンを食え」って喧伝するようなものでしょ
570: 2024/10/29(火)10:29 ID:2QinlXet(1) AAS
>>567
ほんそれ
571: 2024/10/29(火)11:58 ID:IrbjK6II(1) AAS
Rustを関数型扱いするやつは
Rustも関数型もまるで理解してない
だから誰も真面目には相手してくれない
572: 2024/10/29(火)12:22 ID:dZcxKFDp(1) AAS
そう。世界がHaskellから孤立していく
世界はもっと危機感もった方が良いよ
573(1): 2024/10/29(火)15:30 ID:+9FvEifI(1/2) AAS
実用プログラムに使った例はあるの？
574: 2024/10/29(火)16:00 ID:FJXFYfo2(1) AAS
>>567
MLとは全然ちゃうがな
HM型推論せんやろ
575(1): 2024/10/29(火)22:29 ID:LPWWq4s4(1) AAS
>>573
自分も詳しくはないけど、クローズドな分野が多いんじゃない？
576: 2024/10/29(火)23:08 ID:+9FvEifI(2/2) AAS
>>575
秘密ということ、それじゃわからんと同じことじゃないか
577: 2024/10/29(火)23:25 ID:6SLkDv7J(1) AAS
世界は頭悪すぎてHaskellを使いこなせていない
世界はもっと危機感を持った方が良い
578: 2024/10/30(水)02:10 ID:p9nsrTZ/(1) AAS
急に主語が大きくなったぞωωω=2πf
579: 2024/11/02(土)09:15 ID:KpOoS8wa(1) AAS
クローズドな部分なら使ったうちには入らないな
580(2): 2024/11/02(土)18:11 ID:3NvQMTDb(1/2) AAS
金融工学で使ってるとこあるかもね
OCamlが定番らしいし
581(1): 2024/11/02(土)19:19 ID:Mufqfjtq(1) AAS
>>580
やはり実務ではフィンテックですか。

このスレで趣味教養的に
数理の応用実験や
アート作品生成プログラム記述用とかで
使ってる香具師いる？
582(1): 2024/11/02(土)19:33 ID:pIz290+w(1/3) AAS
>>580
みずほでOCamlしか聞いたことない
結局大規模障害出ちゃったけど
583(1): 2024/11/02(土)19:38 ID:3NvQMTDb(2/2) AAS
>>582
金融商品の設計に使うんだよ
その手の障害とは全く関係ない
584(1): 2024/11/02(土)20:11 ID:pIz290+w(2/3) AAS
>>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
省2
585: 2024/11/02(土)20:16 ID:pIz290+w(3/3) AAS
>>583
そうなんだ。
そういうライブラリ頼みっぽい事なら、MathmacticaとかPythonのが良さそうなのにね。
金融商品だったら統計に強いRだってあるし。
なぜわざわざOCamlだったのやら…。
586(1): 2024/11/03(日)11:40 ID:kGU90lSm(1) AAS
>>584
本スレ誘導
2chｽﾚ:tech
587: 2024/11/03(日)17:33 ID:4RaSizfZ(1) AAS
その手のはかなり昔からの話だしその頃pythonはそんな一般的ではない
588: 2024/11/03(日)18:58 ID:W/WQS3jI(1) AAS
>>586
え…。
Haskellを何に使ってるか聞かれたから答えたのに、そりゃ無いよ。
589: 2024/11/06(水)18:53 ID:s8sk505y(1) AAS
semigroupoidsのAltからFunctor抜いたやつないのかな
catsのSemigroupK相当のやつ
590: 2024/11/07(木)02:17 ID:w1FRCcDr(1) AAS
HackageもHaskellWikiもつながらねえ
攻撃でも受けたか
591: 2024/11/07(木)06:45 ID:NVSipRlq(1) AAS
数か月前もHoogle繋がらなかったしね…。
592: 2024/11/09(土)18:32 ID:r4DlAvJp(1/2) AAS
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):
省21
593: 2024/11/09(土)18:32 ID:r4DlAvJp(2/2) AAS
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)
省3
594: 2024/11/10(日)16:05 ID:AfmJKCJ3(1) AAS
これ数学的にどういうことなのか
かいつまんで教えてくらまいか
watch?v=dYj0rPQeRkA
595(1): 2024/11/16(土)10:08 ID:9CYVpzbn(1) AAS
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Shuichi Yukita

という書籍が来月出るんですって？
596(1): 2024/11/16(土)14:32 ID:Avgm411i(1/2) AAS
>>595
高いな

> Hardcover
> \36,125 Tax included
597: 596 2024/11/16(土)14:36 ID:Avgm411i(2/2) AAS
円記号がバックスラッシュになっていたので訂正
￥36,125

フォントによるわけだが
598: 2024/11/16(土)15:13 ID:ZnREBqGy(1) AAS
買って損するだけの高額本の予感
599: 2024/11/16(土)15:27 ID:x85mVkLf(1) AAS
なんだ雪田の本じゃねぇか
プラスアルファはあるかも知れんが
基本雪田の「圏論入門 Haskellで計算する具体例から」と大差無いと思うぞ
600: 2024/11/16(土)20:50 ID:ZUJ+jDQV(1/4) AAS
結局Moggiのアイディアがなんなのか書いてなかったから、洋書でも同じでしょ。
601: 2024/11/16(土)21:01 ID:UsNa54E4(1) AAS
すでに書かれてるのがwikipediaにあるじゃん
外部ﾘﾝｸ:ja.m.wikipedia.org
602: 2024/11/16(土)21:18 ID:ZUJ+jDQV(2/4) AAS
wikiのは肝心のvalueとcomputationについてちゃんと書いてない。
computationの訳を「計算された値」とするのは微妙。
603: 2024/11/16(土)21:28 ID:ZUJ+jDQV(3/4) AAS
『圏論入門』の方にはvalueもcomputationも書いてなかったと思うから言わずもがな。
604: 2024/11/16(土)21:43 ID:HNcchqjT(1) AAS
出たら人柱になって買って読んで下さい
605: 2024/11/16(土)22:29 ID:MlIU4R6X(1) AAS
多分加筆してると思うよ
日本の出版社はなぜかページ数制限があることが多いんだけど
海外にそれはないし
606: 2024/11/16(土)22:41 ID:ZUJ+jDQV(4/4) AAS
加筆してvalueとcomputationの説き起こしから始めて本当にMoggiのアイディア書くかなぁ？
米田の補題が工学応用できるとかいう主張と衝突する気がするんだけれど。
607: 2024/11/17(日)08:11 ID:RK7ri1yG(1) AAS
レポよろ
608: 2024/11/17(日)09:07 ID:zx90fdBd(1) AAS
ぷりぷりです
609: 2024/11/17(日)14:35 ID:895B27h0(1/2) AAS
4万近く出してわざわざレポだけする奴なんているの？
圏論入門と同じでそれらしいキーワードだけ出して終わりの可能性高いのに。
610: 2024/11/17(日)19:34 ID:A63wUj4E(1) AAS
まぁそもそもHaskellで圏論持ち出す必要ないしな
生産性上がらないよ
611(1): 2024/11/17(日)19:42 ID:bAlb8WtH(1) AAS
Haskell、コーダー界隈で圏論勉強会が流行していた時期、あれは何だったのか？
612: 2024/11/17(日)20:00 ID:895B27h0(2/2) AAS
圏がグラフの拡張みたいな概念だったから、グラフ理論みたいに有用なプログラミングにつかえるアルゴリズムがあるんじゃないかってことでやってたように見えた。
モナドも説明したかったようにみえたけど、結局圏論の勉強を踏まえた説明はでてこなかった。
613: 2024/11/17(日)21:17 ID:U7PWp5lE(1) AAS
>>611
俺も行ってたわw
数学クラスターからの圏論マウントを喰らっていくのやめたがw
そういうやつ多いんじゃないか
614: 2024/11/20(水)04:56 ID:vcDCbnyw(1) AAS
プログラムは合成できないといけないって当然のことを、いちいち圏である必要があるとか言い換えるオレ天才だわー
615: 2024/11/20(水)18:55 ID:QVKMRnqI(1) AAS
外部ﾘﾝｸ:dic.nicovideo.jp
616: 2024/11/21(木)00:16 ID:r2/mXbdf(1/2) AAS
集合論と圏論の抽象度がもし同レベルならたしかに圏である必要はないな
必要ない情報は捨象されるべきだと言われれば何も反論できない

だから抽象化マウントは強いんだ
617: 2024/11/21(木)01:45 ID:bAf4oZLa(1) AAS
抽象化すればプログラムしにくいと思うけど
618: 2024/11/21(木)19:02 ID:fTdZV0pc(1) AAS
プログラムが圏になるためとかいうクソしょうもない理由がモナド導入の理由って本当か？
圏論っていうか圏じゃん。モノイド構造も米田の補題もなにも出てこないんだが
619: 2024/11/21(木)21:57 ID:r2/mXbdf(2/2) AAS
型構築子を導入すれば関手もモナドも勝手についてくる
型を必要とするすべての言語で同じことが言える
これも抽象化
620: 2024/11/28(木)10:04 ID:p2Q1UON9(1) AAS
haskellでスクレイピングがやりたいんだが
arch linuxのリポにはscalpelがない
別言語でやったほうがいいかな？
上下前次1-新書関写板覧索設栞歴
あと 74 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s