[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
88: デフォルトの名無しさん [sage] 2020/03/27(金) 19:40:29.88 ID:US1WE8+5 >>83 目的は良いプログラムを書くことではなく役に立つプログラムを書くことだろう お前のようにそこを履き違えてる奴が多いからHaskellがいつまでもクソの役にも立たないと言われ続けるんだよ http://mevius.5ch.net/test/read.cgi/tech/1581326256/88
99: デフォルトの名無しさん [sage] 2020/03/27(金) 21:17:09.88 言語設計者じゃなければ難しいこと考える必要なんてないんだ。ただの Haskell ユーザだろ？ （Haskellの）モナドは Haskell という基盤上で動作するDSLプラットフォームだよ。 各々が Haskell 上で動作するオレオレ言語を作れるんだ。 だから一度それを走らせれば、その中に他人の言語が干渉することはできない。 C++を書いてる途中でJavaコードを直接混ぜることは許されないというトートロジー。 他のDSLとはポートを作ってそこでデータを輸出入する （Haskellの）モナドはC++コードにJavaコードが混ざらない事を保証してくれる そういうイメージ （Haskellの）モナドのライブラリには、その設計者の思想によるDSLの書き方がある。 それを知らずに型とだけ睨めっこしててもIQテストだよ http://mevius.5ch.net/test/read.cgi/tech/1581326256/99
407: デフォルトの名無しさん [sage] 2020/08/21(金) 22:34:08.88 ID:nqLClnr+ >>403 単純に >f (g (z x))は(f . g. z) xと等価です。 は、数学と同じ優先順位ですよってことじゃない？ それ以上の疑問は抱かんかったけど 試してないけど、俺も>>404に同意 多分整数演算で除算演算の関数を関数合成すれば、いくつか試せば同一にならないのは簡単に見つかるはず 引数をたくさん試すだけでも見つかりそう めんどこっいのでやらないけど http://mevius.5ch.net/test/read.cgi/tech/1581326256/407
464: デフォルトの名無しさん [sage] 2020/09/04(金) 20:35:32.88 ID:4VK1Z/Kj 何を期待して借りたのやら http://mevius.5ch.net/test/read.cgi/tech/1581326256/464
481: デフォルトの名無しさん [] 2020/09/07(月) 17:57:43.88 ID:kXMphwO9 >>480 ベーシック圏論はどうですか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/481
506: デフォルトの名無しさん [] 2020/09/13(日) 08:12:50.88 ID:Tso/1gLY ひ？何言ってんの http://mevius.5ch.net/test/read.cgi/tech/1581326256/506
587: デフォルトの名無しさん [sage] 2020/11/23(月) 13:29:17.88 ID:XIoHPhIo >>586 いいね！ http://mevius.5ch.net/test/read.cgi/tech/1581326256/587
617: デフォルトの名無しさん [] 2020/12/20(日) 18:18:16.88 ID:FMam64CT ネタを拝借して、次のコードを考える。 ``` haskell inc :: (Applicative f) => Int -> f Int inc n = pure (n + 1) lhs :: (Int -> () -> String) -> Int -> IO String lhs dump x = do y <- inc x z <- print y pure $ dump y z rhs :: (Int -> () -> String) -> Int -> IO String rhs dump x = inc x >>= \y -> dump y <$> print y lhs ((.) show . (,)) 123 >>= print rhs ((.) show . (,)) 123 >>= print lhs (const . const "hello") 123 >>= print rhs (const . const "hello") 123 >>= print ``` http://mevius.5ch.net/test/read.cgi/tech/1581326256/617
658: デフォルトの名無しさん [sage] 2021/01/20(水) 18:38:17.88 ID:apYLuAz7 >>655 ありがとうございます そうなんです 今のところそれしか解決策ないんです しかし希望では IO [ Int ] であって欲しいんです イメージとしてはこうです ある関数 f があって乱数で挙動が変わって欲しい もちろん最終的にはIOモナドを使わないとしょうがない しかし色々いじってる段階ではモナド被せないで代わりに擬似乱数無限配列 psuedRand :: [ Int ] みたいなのを食わせて f a b c psuedRand みたいに呼び出して色々頑張って、最後の最後にIOモナドで実地に ( return . f a b c ) =<< realRand に切り替えるみたいな事ができないかなと思ったんです f が使用する乱数がある程度わかるので別に無限列でなくてもいいっちゃいいんですけど 今一歩モナドに包まれてる関数いっぱい出てくるの好きじゃないんですよ 通のホムペとか見てるとむしろバンバンモナドでくるんどいた方がいいみたいなのもみるんですけどねぇ http://mevius.5ch.net/test/read.cgi/tech/1581326256/658
668: デフォルトの名無しさん [sage] 2021/01/21(木) 06:07:07.88 ID:LkrjH2wS >>667 そのレビューのURLを貼っていただけないでしょうか http://mevius.5ch.net/test/read.cgi/tech/1581326256/668
690: デフォルトの名無しさん [sage] 2021/01/25(月) 11:51:44.88 ID:crCxtFmd ライブラリは暗記ですが、数学は暗記ですか？っていう定番のあれだな http://mevius.5ch.net/test/read.cgi/tech/1581326256/690
725: デフォルトの名無しさん [sage] 2021/02/10(水) 11:17:11.88 ID:tXb64EJq 静的型は最強とかガベコレは最強とかいう考えが 疑われるようになったのは半分ぐらいHaskellが原因だよね http://mevius.5ch.net/test/read.cgi/tech/1581326256/725
960: デフォルトの名無しさん [] 2021/11/30(火) 20:27:04.88 ID:SegqCGCa ちなみにモナドは日本語版wikipediaの記事を読んだのみです 型クラスはわかります MaybeまではわかりましたがIOモナドで躓きました ocamlとは違って参照型がない言語だってことは意外に思いました http://mevius.5ch.net/test/read.cgi/tech/1581326256/960
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s