関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
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がない
別言語でやったほうがいいかな？
621: 2024/12/04(水)21:11 ID:D3PBVzJs(1) AAS
ディストリで全部パッケージ化してくれてるとは思えん
stackかcabal入れて自分で管理するんじゃね？
ローカルに1GBくらいのライブラリ入るし重複しないようにしないといかんが
もちろんseleniumとか使うにしてもpythonとかrubyのほうが楽やろ
622: 2024/12/08(日)23:12 ID:G2o8fSXB(1) AAS
おおむね10^-300前後(-400乗は無理だった）精度の任意精度少数。
定義済みの中ではPico(10^-12)までは定義されてる。
下の定義のE300/10^300/F300を書き換えれば任意精度の浮動小数型が作れる。
(F300がPicoとかNanoとかの型）
ただし、pi/sin/sqrtなどの倍精度/単精度の浮動小数型用関数/定数が使えなくなるので四則演算を駆使して自作する必要がある。
import Data.Fixed
data E300
instance HasResolution E300 where resolution _ = 10^300
省1
623: 2024/12/19(木)15:03 ID:NXRHTsH0(1) AAS
add (x,y) (a,b) = (x+a,y+b)
これをaddを定義せずにarrowで簡単にかく方法はありますか
上下前次1-新書関写板覧索設栞歴
あと 44 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s