関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
262: 2023/11/20(月)14:32 ID:4MiKC4cJ(1) AAS
>>258
ぎゃははははははは
263: 2023/11/20(月)21:45 ID:Jf1v4QK8(1) AAS
外部ﾘﾝｸ:github.com
> Unkown（気づいてない）
ウンコウンわろた。
264: 2023/11/20(月)23:57 ID:N43MAaAU(1) AAS
スレチ
265: 2023/11/21(火)12:01 ID:MS7pneIs(1) AAS
毛の壁くん復活してたのか！！
266: 2023/11/21(火)12:21 ID:W0g+S6dW(1) AAS
外部ﾘﾝｸ:archive.md
毛の壁（岡部健）についてはここが詳しい
267(1): 2023/11/22(水)15:27 ID:1OepVPCl(1) AAS
こんなコードがあるのですが
cumsum k = unfoldr next . (,) 0
where
next :: (Int, [Int]) -> Maybe (Int, (Int, [Int]))
next (acc, x : xs) | acc <= k - x, acc' <- acc + x = Just (acc', (acc', xs))
next _ = Nothing
acc <= k-xはわかるのですが、acc' <- acc + xというのはどういう文法なのですか？
リスト内包表記でもないですし条件式の部分でモナドを扱ってるわけではないですよね？
268: 2023/11/22(水)16:31 ID:PuIW3qrN(1) AAS
>>267
パターンガードかな
外部ﾘﾝｸ:ja.wikipedia.org
269: 2023/11/23(木)07:24 ID:WRBO39fy(1) AAS
<-はパターンガード修飾子と呼ぶのですね
初めて知りました
ありがとうございました
270(1): 2023/11/24(金)17:42 ID:V3Fz2AWZ(1) AAS
毛の壁のTwitterの新しいアカウントは
Ken140291
FPFSstutorial
leadmove3648637
です！！
271: 2023/12/04(月)12:27 ID:GjmDAseS(1) AAS
>>270
ぎゃっはっはっはっはw
272: 2024/01/01(月)20:17 ID:DcfOChZv(1) AAS
mapAccumL/Rの使いどころがよくわからないのですが
どういう時に使うとかの指針ってありますか？
273: 2024/01/09(火)22:50 ID:3mg8b04T(1) AAS
ここ5年で発売されたHaskellの書籍で最も優れたものを紹介してください
274: 2024/01/12(金)10:55 ID:cAhPSGjh(1) AAS
オワコン
275: 2024/02/29(木)01:38 ID:d2gqoSk4(1) AAS
windowsにインストールできんみたいだなcabalがエラー？
まあwindowsでやるなってことだな
276: 2024/03/03(日)23:47 ID:9XAeTkis(1) AAS
モナドについて、床下配線に例えられたり、世界を受け取って副作用後の世界を返すと（IOモナドについて）語られたりするのが当時は分からなくて、考えた結果
何かから値を取り出し、関数適用して（その関数が）何かに値を戻す「動き」をモナドという。
って結論になっていたのだが、IOモナドも含めてもっと良い例えはないかと考えた結果、
モナドとは、アウトソーシング（外部依頼）を数学的に表現したもの。
という結論に至った。
省5
277: 2024/03/04(月)00:46 ID:XMYw3zR0(1/2) AAS
箱の中に処理したいデータが入ってるけど一緒にIOウイルスも入ってて
普通に箱を開けるとIOウイルスが外界に漏れて困るから
もう一回り大きい箱を用意してその中に箱とデータ処理装置を入れて
密封した上で内側の箱を開けてデータを処理する
そうすると箱の中に処理されたデータとIOウイルスが入った状態になる
これを延々と繰り返すのがIOモナド
ずっと前に毒ガスで考えた比喩だけど最近だとこっちだな
278: 2024/03/04(月)01:02 ID:vyClhVzf(1) AAS
ふーむ。
仮にアセンブラと1対1に対応したCの関数を全部Haskellから呼べるようにすると、出来ちゃうわけで。
（do形式だとまるっきりアセンブラコードに見えるHaskellコードの出来上がり）
そう考えて私のアウトソーシング説が出来た感じですね。
Haskellがモナドを採用したのは数学（関数型言語だったっけ？）の敗北ってどっかで読みましたし。
279: 2024/03/04(月)01:22 ID:XMYw3zR0(2/2) AAS
doの場合は１行ごとに新しい箱が作られてる
順序はたまに前後するけど内側の箱のデータは外側の箱でしか使えないから
必要な順序は保証される
外界の予測不能な状態を全部１つの箱の中に押し込んで
箱の外側の処理装置製造工場は全部予測可能（純粋）にしてる感じ
数学の敗北の意味はよく分からないけど
実用性のために予測不能な状態を持ち込んだことかな
280: 2024/03/06(水)10:29 ID:Yy7OLBEk(1) AAS
なんか大げさな例えを使いたがるやつが増えたなぁ
コーディングの上でなんの役に立つんだが
281: 2024/03/06(水)15:29 ID:soRPwZI7(1) AAS
「末尾呼び出ししたい関数をデータコンストラクタで置き換える」という仮説は役に立つけれども
(>>=)はコンストラクタではないという事実を見ただけで仮説を捨ててしまうことは科学的によくあること
282: 2024/04/10(水)04:46 ID:+L19CyUd(1) AAS
WindowsでghcupをインストールするのにWSLが不要になって
PowerShellだけで導入できるようになってる
283: 2024/04/13(土)09:43 ID:p3ysjEUv(1/2) AAS
rustスレで知ったけどhaskellを正格にして依存型を入れたidris(idris2)つー言語があるんだな
284: 2024/04/13(土)10:37 ID:VEwLcqlL(1) AAS
idrisまで興味があるのならHaskell/Elm/Rust/Zigの流れで開発されているRoc-langも見ておくと良い
特にstatic reference counting周り
285: 2024/04/13(土)22:46 ID:p3ysjEUv(2/2) AAS
色々知らないのがあった、ありがとう
static reference countingつーのが流行りなの
最近のhaskellもrustみたいな1回しかつかえない線形型(linera haskell?)が導入されてるね
286: 2024/04/14(日)08:32 ID:ZXz6cRZI(1) AAS
IOモナドの入力関数も、引数のない関数＝変数と捉えると、実質線形型と同じ。
let x = 0 in return (x + 1) >>= x -> print x
こうすると変数ｘはシャドーイングによって同名の別の変数が生成される。
getLineとかの入力関数はHaskell（数学）の外で初期化される変数とも考えられる。
287: 2024/05/17(金)10:56 ID:kEVlBeR0(1) AAS
参照カウントは0になれば即座にデストラクタを呼び出す
つまり呼び出しを遅延しない
正格にすることと参照カウントを入れることは実質的に同じこと
288: 2024/05/18(土)22:55 ID:HEnIptqp(1) AAS
cabalのバージョン上がってたので
windowsで試したらちゃんと動いたわ
気にかけてくれてたんやな
289: 2024/06/11(火)20:46 ID:zqrBHeqN(1) AAS
IOモナドを拡張して、副作用をDBだけに限定したモナドとか作れないの？
290: 2024/06/20(木)02:22 ID:s4SRXQdp(1) AAS
いつの間にかHaskellがC#より速くなってた…。
外部ﾘﾝｸ:nshinchan01.hateblo.jp
291: 2024/06/23(日)11:34 ID:1+Xj+JzS(1/2) AAS
すみません
GHCのWindows11対応についての質問ですが
「9.2」以前のGHCはWindows11をサポートしていないとの事ですが
外部ﾘﾝｸ:gitlab.haskell.org
これはプログラムコンパイルをして
アプリケーションを生成できないだけで
コンソール内での実行や学習をする分には
「9.2」以前のGHCでも問題ないとの認識で大丈夫でしょうか。
ライブラリが9.0に対応していない物があり確認したいです。
上下前次1-新書関写板覧索設栞歴
あと 376 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s