関数型プログラミング言語Haskell Part33

1 名前：デフォルトの名無しさん [2020/02/10(月) 18:17:36 ID:L6eYQqyh.net] 関数型プログラミング言語 Haskell について語るスレです。 Haskell Language(公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ - Haskell-jp https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part32 https://mevius.5ch.net/test/read.cgi/tech/1548720347/ 567 名前：デフォルトの名無しさん mailto:sage [2020/11/03(火) 10:26:04.44 ID:qaG2IpUi.net] >>560 うん、まぁ別にNumのインスタンス入れなくてもこの問題の話だけならいくらでも方法はあると思うんだけど、そもそもモナドってもこういう時のためにあるんじゃないのかなと思って 例えば(+)なら Num a,Functor f のとき Num (f a)は自然には導出できない、なぜなら fmap (+) は f a -> f ( a - > a ) になってしまう しかし Applicative f なら lifaA2 (+) がピッタリ f a -> f a -> f a になって自然にキレイに Num (f a) が導出できる だからすごく理論的には自然なのに方法がないのは何故なんだろうと というかderiving (...) の (...) にかけるやつとダメなやつの基準がわからない 実用本位でよく使うやつだけ用意されてるに過ぎないのかな？ 568 名前：デフォルトの名無しさん mailto:sage [2020/11/03(火) 11:32:34.46 ID:WdkpFDBO.net] 一応、Num (f a)は導出できるけど、それで定義した(+)だと 交換則(x + y = y + x)が成り立つ保証がないからじゃないかねぇ (パーサの順番を入れ替えた場合を考えるとわかりやすい) {-# LANGUAGE FlexibleInstances #-} instance (Num a, Applicative f) => Num (f a) where 　x + y = (+) <$> x <*> y 　x * y = (*) <$> x <*> y 　abs x = abs <$> x 　signum x = signum <$> x 　negate x = negate <$> x 　fromInteger n = pure $ fromInteger n 569 名前：デフォルトの名無しさん mailto:sage [2020/11/03(火) 11:50:57.17 ID:hn8kPJNe.net] >>562 なるほど、文法的に通っても意味的に文法には出てこない"Num rule"が補償されないからダメって事なのかな？ まぁ今はclassのメンバ関数の自分が利用するやつだけ定義する必要無くなったみたいだから手で書いてもいいんだけど、>>556の例だと newtype Eval a = Eval (ReaderT Env (ExceptT String Identity) a) deriving (Functor, Applicative, Monad, MonadReader Env, MonadError String) とかはmonad translater越しにできるし newtype Quantity = Quantity Int deriving (Eq, Ord, Num, Show) もできるのになんで Parser (Int) はあかんねんと なんかプラクマつけたらいけんもんかと Num くらいならいいけど Floating とかだと惨劇になってしまう 570 名前：デフォルトの名無しさん mailto:sage [2020/11/03(火) 18:12:46.66 ID:oSP8TPsC.net] この話の面白いところは Parser Intという型を宣言する言語と そもそも型を宣言しない言語 どっちが生産性高いかってことだよ 571 名前：!id:ignore mailto:sage [2020/11/06(金) 20:16:57.19 ID:uZSEyxFl.net] stackくんさぁ、コンパイラのダウンロードが200MB強あるんだから、低速回線は途中で切断されるとかよくありそうなことじゃん サスペンド・レジューム機能搭載は必須じゃないのかね きょうびyoutube-dlでさえ向こうに切断Forbiddenされても今までダウンロードした分は残ってて、再度ダウンロードを開始した際には途中から残りの部分をダウンロードすように始まるってのにさ 仮に205.86 MiB / 205.87 MiBまで来て切断された場合 リトライすると0 MiB / 205.87 MiB からだなんてお互い不幸になると思わないのか？ こっちは成功するまで永遠に繰り返すんだぞ？　むしろそっちの方がそちらにとっても迷惑じゃん それとも低速回線は死ねっていう差別的思想を持っているのかね？ 572 名前：デフォルトの名無しさん mailto:sage [2020/11/08(日) 11:31:57.94 ID:Bx8aZf2L.net] 一方TeXはisoイメージを使った 573 名前：デフォルトの名無しさん mailto:sage [2020/11/08(日) 13:05:47.79 .net] パターンガードの変数の束縛は局所的なのですが、全ての場合で共通して使用してほしい束縛はどうやりますか？ 574 名前：デフォルトの名無しさん mailto:sage [2020/11/09(月) 01:15:49.21 ID:4MQyK7K1.net] >>567 質問の意味がよく分からないのだが、コード例を出せる？ こんな風に書けたらいいのに、みたいな。 575 名前：デフォルトの名無しさん mailto:sage [2020/11/09(月) 19:55:38.03 .net] rootsInternal :: Quadratic -> Double -> Roots rootsInternal q d 　= let 　　　　two_a　　　= 2.0 * (a q) 　　　　realpart　　= - (b q) / two_a 　　　　dside d　　= (sqrt d) / two_a 　　　　dpart　　　= dside d 　　　　complexpart = dside (-d) 　　in if d==0 　　　　then　　　-- Discriminant is zero, (single) root is real 　　　　　　Root $ realpart :+ 0 　　　　else 　　　　if d<0 　　　　then　　　-- Discriminant is negative, roots are complex 　　　　　　Roots (realpart :+ complexpart) (realpart :+ (-complexpart)) 　　　　else　　　-- Discriminant is positive, all roots are real 　　　　　　Roots ((realpart + dpart) :+ 0) ((realpart - dpart) :+ 0) のlet 〜 in みたいなのを rootsInternal q d 　|　d==0　　　= ... 　|　d<0　　　　= ... 　|　otherwise　= ... みたいな書き方の時にもやりたいんです 576 名前：デフォルトの名無しさん mailto:sage [2020/11/09(月) 19:58:42.43 .net] おっと無用な改行が一々入っちゃった。。。 577 名前：デフォルトの名無しさん mailto:sage [2020/11/09(月) 20:20:48.18 ID:UhW/CkjO.net] >>569-570 where で出来なかったっけ？だめだったかな？ 578 名前：デフォルトの名無しさん mailto:sage [2020/11/09(月) 21:00:20.89 .net] あ、できました。 お騒がせしました（////) 579 名前：デフォルトの名無しさん mailto:sage [2020/11/11(水) 19:20:13.76 ID:qheOKxfd.net] 正格評価について質問です ひとつの引数しかない関数 f を正格評価するときには f $! x でよいようですが2引数の場合はどうするんですか？ ( f $! x ) $! y で x, y を先に展開してくれますか？ 良さげなんですがどう確かめたものやら なんか正格評価と遅延評価で格段に計算量が変わる f の例ってありますか？ 580 名前：デフォルトの名無しさん mailto:sage [2020/11/11(水) 21:38:04.29 ID:TR1bVb0l.net] 遅延評価がなくてもGCはメモリ解放を遅らせている GCをいじるにはIOが必要 $!を使うのにも少なくともモナドが必要と考えるのが自然なのでは？ x' <- return $! x y' <- return $! y return $! (f x' y') 581 名前：デフォルトの名無しさん mailto:sage [2020/11/11(水) 22:07:05.86 ID:F87BSTFR.net] >>574 そうなんですか？ とりあえずモナドで試してみます 兎にも角にも正格評価と遅延評価でこんなに計算の回数が違ってくるってのなんかご存知ないですか？ 例えばdpの例でFibonacciを f 0 = 0 f 1 = 1 f n = (f $ n-1) + (f $ n-2) と f' 0 = (0,1) f' n = (a+b,a) where (a,b) = f' (n-1) f = fst . f' で比べると目に見えて計算量が違うみたいな奴で「正格評価が効いてる」って目に見えてわかるような例があるとありがたいんですが 582 名前：デフォルトの名無しさん [2020/11/12(木) 14:57:12.09 ID:+Y5HOlnE.net] 正格評価と遅延評価で計算量が変わるといえばtaraiじゃね？ 583 名前：デフォルトの名無しさん mailto:sage [2020/11/12(木) 23:16:18.57 ID:G64JuFLE.net] ⊥になるものでいいじゃん 584 名前：デフォルトの名無しさん mailto:sage [2020/11/13(金) 06:27:56.29 ID:ewlhvLCU.net] trace や unsafePerformIO で評価順を調べられないかな 585 名前：デフォルトの名無しさん mailto:sage [2020/11/13(金) 12:04:46.50 ID:oAmrFI5R.net] みなさん情報ありがとうございます 今んとこヒマな時にやってみた実現は cube x = x*x*x a x = case x of 0 -> 0 1 -> 1 _ -> ( a $ x -1 ) + ( a $ x - 2 ) main = do tA <- getCPUTime print $ cube $ a 38 tB <- getCPUTime print $ tB - tA と print $ cube $ a 38 → print $ a 38 の比較 結果 ---- 59722225363795389930809 3801127096000 ---- 39088169 3514055718000 この程度だとコンパイラが勝手にメモ化してくれるようで差がでないorz まだタライとかは試して見てません 取り急ぎご報告まで 586 名前：デフォルトの名無しさん mailto:sage [2020/11/16(月) 23:33:39.07 ID:bCg5e61i.net] >>573 もうとっくに解決したかもしれませんが、評価の順は trace 関数でも確認できます。 import Debug.Trace g :: Int -> Int -> Int g x y = trace ("g") (x + y) main :: IO () main = do let a = trace ("a") 1 let b = trace ("b") 2 let c = (g $! a) $! b putStrLn $ show c これを実行すれば、b a g 3 の順に出力されます。 正格評価されていると言えます。 ちなみに、($!) を ($) に変えれば、g a b 3 の順に出力されます。 587 名前：デフォルトの名無しさん mailto:sage [2020/11/18(水) 01:05:30.21 ID:VzwFaHaO.net] >>580 イヤ、まだ奮闘中です おぉ、そんな便利なものが 使ってみます 588 名前：デフォルトの名無しさん [2020/11/21(土) 23:31:14.57 ID:ak7brOTq.net] Haskellはライブラリの中身を覗くと Template Haskellを駆使した グッチャグチャの実質別言語みたいなコードがザラなのがなぁ・・・ 水面下の白鳥状態じゃねーか 589 名前：デフォルトの名無しさん mailto:sage [2020/11/22(日) 16:59:26.57 ID:gt3QNmmg.net] ゴミライブラリ使うのやめて良いやつ作って公開してくれ 590 名前：デフォルトの名無しさん mailto:sage [2020/11/22(日) 17:19:45.03 ID:MRtbpg3I.net] 在学中か学校出たての経験浅い奴しか担い手がいないのだろうからそんなもんなんだろう 純粋関数型言語は学生がかかるはしかみたいなもので やがて計算機科学の現状に絶望し去ってゆく 現在のコンピューターは手続き型に最適化されているのだ 591 名前：デフォルトの名無しさん mailto:sage [2020/11/22(日) 18:37:00.71 ID:36XuvgN2.net] 単純に関数型言語がわかる人が少なすぎるからじゃないの？ 592 名前：デフォルトの名無しさん mailto:sage [2020/11/22(日) 20:14:41.06 .net] 居飛車党と振り飛車党の闘いは続く 593 名前：デフォルトの名無しさん [2020/11/22(日) 23:16:18.31 ID:b60g3zenS] みずほが週休3日・4日を導入、副業もオッケーに！ただし給料は80％、60％に下がるが、あなたならどうする？ https://www.excite.co.jp/news/article/Jcast_kaisha_396186/ みずほFG 週休3〜4日制導入へ 新型コロナで働き方見直し https://www3.nhk.or.jp/news/html/20201006/k10012651181000.html 副業OK時代！初心者に人気の副業を試してみて…メリット・デメリットとは https://news.yahoo.co.jp/articles/2a38649705f3257595512daee1a073c231affc51 「労働時間の見直し」に先鞭をつけた みずほフィナンシャルグループ https://blogos.com/article/490192/ 給料ダウンの危機を副業でカバーしたい…副業している人はどんな仕事でいくら稼いでいるの？ https://news.yahoo.co.jp/articles/e56796283f3e4feea64cb3042ea7b4d7c01714e4 副業を会社に報告しない理由TOP3、3位会社が禁止している、2位告知されていない、1位は？ https://dime.jp/genre/990902/ 副業年収1億超のmotoさんに聞いた！「本業」で成果を上げて自分の市場価値を高める方法 https://ddnavi.com/interview/679189/a/ フリーランス向け報酬即日払いサービス『先払い』が大規模リニューアルし正式リリース https://prtimes.jp/main/html/rd/p/000000042.000047439.html 国内最?級！副業・フリーランスエンジニアに特化した、仕事探しの求?アプリ 『doocyJob(ドーシージョブ）』、iOS版アプリを2020年10月6日（?）リリース https://prtimes.jp/main/html/rd/p/000000005.000038976.html 594 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 02:58:53.25 ID:v8DPq2Nr.net] イヤ、まぁ純粋に速度とか効率とか考えたら手続き型言語の方が優位なのはその通りでしょ？ だって現在の計算機がノイマン型の手続き型の処理をするために設計されてるんだから そりゃバリバリにチューニングしたら手続き型言語には絶対勝てない 595 名前： その時代時代の最新の計算機の性能をフル活用しないとできないような処理は当面関数型言語の出番は回ってこない しかしそこまでの処理でないならやはり関数型言語の活躍できる場面も出てはくるだろうけど、しかし例えそうなったとしても手続き型言語も関数型言語も両方臨機応変に使いこなせるようになるとなると中々難しいから、結局どちらか選ぶなら手続き型言語という事になってしまう しばらくは関数型言語が実務の場面でバリバリ使われるようになるのは中々難しい 当面研究者とか、サンデープログラマーの趣味の世界でしか出番ないかもしれない [] [ここ壊れてます] 596 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 03:10:25.23 ID:i6Fa5mHr.net] 並列並行処理を型で表せる辺り、強力なんだけどなぁ 597 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 03:19:37.79 ID:vzAx9TtB.net] Reditを見てると、Haskellerの求人も結構あるんだが 598 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 12:02:25.91 ID:B9DSaA3p.net] 居飛車と振り飛車というのは危機感が足りない ガソリン車と電気自動車だ 個人の就職じゃなくて会社が丸ごと潰れるリスクを想定するための研究だよ 599 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 13:19:57.85 ID:XIoHPhIo.net] 一句できた！ 『次に来る』 言われ続けて 数十年 （来ない） 600 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 13:27:42.48 ID:izonrGpC.net] 近未来 今となっては 古臭い 601 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 13:29:17.88 ID:XIoHPhIo.net] >>593 いいね！ 602 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 14:40:17.74 ID:B9DSaA3p.net] 新しいなんて嘘つくより古いものは古いものとして扱う歴史や古文の方が正しい 603 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 20:51:18.66 .net] 関数型言語を処理するために設計されたコンピュータってどんな構造なんだろ 604 名前：デフォルトの名無しさん mailto:sage [2020/11/23(月) 21:33:53.00 ID:B9DSaA3p.net] みんなが数学好きで自己啓発嫌いなのは処理速度じゃなくて 嘘をつかないかどうかの問題 605 名前：デフォルトの名無しさん mailto:sage [2020/11/24(火) 01:11:11.02 ID:wCic/rFb.net] >>596 LISPマシンというものがかつてありましたなあ 606 名前：デフォルトの名無しさん mailto:sage [2020/11/24(火) 03:49:22.53 ID:EBaS3Lgi.net] JAVAチップが実現されてればスタックマシンだからFORTH最強だったのでは 607 名前：デフォルトの名無しさん mailto:sage [2020/11/24(火) 21:00:48.17 ID:BgPUrN9t.net] 速度は実はそこまで重要じゃない 飛行機からメンテナンスハッチ取り除いて何kg軽量化しましたって言ったところで、仕事好き定量評価好きなにわかが、わかりやすい数字見て喜ぶだけで、実際はそんな嬉しい話じゃない というかそもそももっと遅いスクリプト言語は流行ってるし 608 名前：デフォルトの名無しさん mailto:sage [2020/11/24(火) 21:12:41.51 .net] Haskell でゲーム開発したいんですが FRP は死滅しちゃったの？ 609 名前：デフォルトの名無しさん mailto:sage [2020/11/24(火) 21:44:37.33 ID:2dUwtFIm.net] >>601 死滅の意味がよく分からんが、問題なく使える。 stackageにもあるでしょ。 それはそうと、なんで初めから難しいFRPを使おうとするの？ 普通に素直に設計して作ってみればいいのに。 610 名前：デフォルトの名無しさん mailto:sage [2020/11/30(月) 15:39:12.43 ID:nSv/4rn0.net] bind演算子の名前の由来ってなに？ なにも束縛してなくね？ 611 名前：デフォルトの名無しさん mailto:sage [2020/11/30(月) 17:26:29.13 ID:+w97lXkL.net] a >>= b がdo記法で do x <- a b x みたいになるからじゃね？ 612 名前：デフォルトの名無しさん mailto:sage [2020/11/30(月) 21:06:13.38 ID:qo5X+4ip.net] (>>) これも bind と言うよ 613 名前：デフォルトの名無しさん [2020/12/02(水) 00:25:53.39 ID:E6FeESB6.net] ここで聞いていいのかわからないけど… Nixのいいチュートリアルとかってある？ 614 名前：デフォルトの名無しさん mailto:sage [2020/12/04(金) 21:16:59.61 ID:kdWDDBYk.net] これとかどう？ https://github.com/Gabriel439/haskell-nix 615 名前：デフォルトの名無しさん [2020/12/05(土) 12:39:37.62 ID:Na39OKS5.net] ブログ書いてたら彼女と無料で海外留学という名のデートに行けた話【影響力やばい】 https://www.youtube.com/watch?v=Y8Q1z3Mi7BQ 若いうちから人を雇ったり、任せるクセをつけるべき理由とは？ https://www.youtube.com/watch?v=6yAvDQxhldI 【対談】インフルエンサーマーケティングに300万円突っ込んでみた結果... https://www.youtube.com/watch?v=AMjWD0F8PLQ 収入を上げたければ、自分の影分身を作るべし https://www.youtube.com/watch?v=V3Kc-lUxH88 勉強のために10日間で21個のアプリを作った話【初心者時のプログラミング学習】 https://www.youtube.com/watch?v=JkN5kmR9dgk 学校では教えてくれないことの中にはお宝が眠っている https://www.youtube.com/watch?v=oq92u9nJ7FY ブロガーからステップアップしていくために必要なスキル https://www.youtube.com/watch?v=F6qsOyRIaQE 616 名前：デフォルトの名無しさん [2020/12/05(土) 23:01:31.80 ID:gIoCKCst.net] >>607 すごい良さげ。ありがとう 617 名前：デフォルトの名無しさん mailto:sage [2020/12/05(土) 23:45:36.72 ID:gZAhFzLL.net] >>608 すごい良さげ。ありがとう 618 名前：デフォルトの名無しさん mailto:sage [2020/12/06(日) 02:18:39.34 ID:HA18eG30.net] >>608 グロ 619 名前：デフォルトの名無しさん [2020/12/08(火) 09:15:41.98 ID:VKXi32Vk.net] 実際にちょっとしたプログラム書いてみると メモリ周りの最適化が困難なんだよなこの言語。 しかも最適化の方向性がアルゴリズムの改良ではなく 言語特有のボトルネックの回避がメインになるから コードを見ても最適化の意図が分かりにくくて 一見無駄に冗長に記述してるだけに見えるコードが出来上がる。 620 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 11:08:46.52 ID:EAPrHNYX.net] 最適化の意図なんてPythonと同じでいい ライブラリは全部Cで書いてmainだけHaskellで書け 621 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 12:02:52.73 ID:mZ7rlOd+.net] 一時期あんなにモナドの記事とか書かれまくったのに、最近盛り上がりに欠ける Haskell製アプリも企業が採用したって話もほとんど聞かないけど、気のせい？ 尖ったところで使われてるんかな 622 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 13:07:23.14 ID:EAPrHNYX.net] 言語関係なく企業が作ったアプリを買ったことがほとんどない 個人が書いた本を買うことはある 623 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 13:30:45.48 ID:xvXTXIvz.net] まぁなんだかんだHaskellは実用性というより、やはり数学研究の一貫の色合いが強いからなぁ 624 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 13:52:48.29 ID:CqCSsxMG.net] 一環では？ 数学の前に国語の研究をしたほうがよいのでは？ 625 名前：デフォルトの名無しさん mailto:sage [2020/12/08(火) 15:02:11.16 ID:xvXTXIvz.net] お前はまず自分の人間性を見直せ 煽りじゃなくマジで 626 名前：デフォルトの名無しさん mailto:sage [2020/12/09(水) 01:52:25.38 ID:6n7tUtuW.net] Haskell自体は面白くて本や記事も読むけど、なんか書く気起きないんだよな でも他の言語で関数型由来の機能が追加されたときに「あ、これHaskellでやったところだ！」ってなれる 627 名前：デフォルトの名無しさん [2020/12/17(木) 17:53:27.84 ID:9eI2x+Uu.net] Haskellでx = x + 1をIORef使わず擬似的に再現。 (実際には代入では無く、結果をラムダ式の同名の変数に渡してるだけ) main = do let x = 0 print x x <- inc x print x x <- inc x print x inc n = return (n + 1) モナド式の書き方だとこうなる。 main = do let x = 0 in print x >> inc x >>= \x -> print x >> inc x >>= \x -> print x inc n = return (n + 1) さらに>>=演算子を()で囲んで関数にするとこうなる。 main = (>>=) ((>>=) (do let x = 0 in print x >> inc x) (\x -> print x >> inc x)) (\x -> print x) inc n = return (n + 1) 628 名前：デフォルトの名無しさん [2020/12/17(木) 17:53:45.49 ID:9eI2x+Uu.net] モナド無しだけど、Cで再現するとこんな感じ。(スタック消費するけど) #include <stdio.h> int inc(const int); int f(const int); int main(void) { const int x = 0; printf("%d\n",f(f(x))); return 0; } int inc(const int x) { return (x + 1); } int f(const int x) { printf("%d\n",x); return inc(x); } 629 名前：デフォルトの名無しさん mailto:sage [2020/12/18(金) 19:59:30.35 ID:PXMujPNr.net] 目的が実用だろうが研究だろうがIORefは使っていいぞ IORefは手段なので、具体的な目的に依存しない 630 名前：デフォルトの名無しさん [2020/12/19(土) 08:53:57.33 ID:56QZYgov.net] 気持ちはよくわかる。自分も初めてdo式の定義を見た時、おぉぉぉとなった。 というわけで、いつdo式パラダイスが登場したのかアヒル体験してみた。 [When was do-notation introduced?](https://www.reddit.com/r/haskell/comments/8rkrgq/) > Haskell 1.3 adopted Jones’s “do-notation,” which was itself derived from John Launchbury’s paper on lazy imperative programming (Launchbury, 1993). 自分の場合、Haskellを知る前に、Moggi大先生の論文体験を一撃で敗退した時に おぉぉぉした覚えがある。 * Notions of computation and monads in [Eugenio Moggi Publications](https://person.dibris.unige.it/moggi-eugenio/publications.html) 宗教上の理由で、シーケント図が書かれた書物体験はできないが、幸いなことに、 最初のシーケント図にdo式らしきものが書いてある。ナウなヤングの言葉では 次のようになると思う。 ``` haskell kleisli_extension :: (Monad t) => (a -> t b) -> (t a -> t b) kleisli_extension f c = do x <- c f x ``` 今も論文に何が書かれているかわからないが、その時は、<em>おぉぉぉ、 プログラミング言語って数学的に捉えられるんだ</em>体験をした記憶がある。 一般に、紙上のプログラミング言語と実働するものとの間には万物の長城が あるので、Haskellのdo式もすごい発明と思うが、その技法の骨子は、既に [同時多発的](https://www.youtube.com/watch?v=FMmCJ6-uu3M)に発見されて いたのかもしれない。歴史絵巻体験では、 [A History of Haskell](https://misreading.chat/2020/10/27/)も面白かった。 631 名前：デフォルトの名無しさん [2020/12/20(日) 18:18:16.88 ID:FMam64CT.net] ネタを拝借して、次のコードを考える。 ``` 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 ``` 632 名前：デフォルトの名無しさん [2020/12/20(日) 18:18:58.94 ID:FMam64CT.net] IOモナドを恒等モナドに差し替えて、Rに移植する。 ``` {r raskell} do = pure = id = function (a) a; const = function (a) function (ab) a; `%.%` = function (bc, ab) function (a) bc (ab (a)); `%$%` = function (ab, a) ab (a); `%>>%` = function (a, ab) ab (a); inc = function (n) n + 1; caty = function (a) cat (a, "\n", sep = ""); lhs = function (dump) function (x) do ({ y <- inc (x); z <- caty (y); pure %$% dump (y) (z); }); rhs = function (dump) function (x) { inc (x) %>>% (function (y) dump (y) %$% caty (y)); }; lhs (function (y) function (z) list (y, z)) (123) %>>% print rhs (function (y) function (z) list (y, z)) (123) %>>% print lhs (const %.% const ("hello")) (123) %>>% print; rhs (const %.% const ("hello")) (123) %>>% print; ``` Rは関数の引数を問答無用に遅延評価するので、最後の`rhs`だけがHaskellと 異なる動作をする。Rの遅延評価の例としては煩雑過ぎるが、HaskellのIOモナド とサイドバイサイドに比較できる例になっている。 633 名前：デフォルトの名無しさん mailto:sage [2021/01/05(火) 09:39:14.86 ID:b/Fw/Z0P.net] ふと思った。 a型の2次元配列が必要になった時、 [[a]] や Array (Int, Int) a ではなく、 (Int, Int) -> a が真っ先に思い浮かぶなら、 そいつは関数型にどっぷりハマってるな、と。 634 名前：デフォルトの名無しさん [2021/01/08(金) 14:54:16.81 ID:QDat+Qoy.net] 関数型は並列処理に強いという話を聞くけど fpgaの高位合成がC言語で行われている理由は何ですか？ haskellでの高位合成やgpgpuはどうなっていますか？ 実用されていますか？ 635 名前：デフォルトの名無しさん [2021/01/08(金) 15:09:45.01 ID:QDat+Qoy.net] Haskellの人気は横ばいまたは下降気味。 なぜ未来であるはずのHaskellは勢いを持たない？ 実際使ってる人達の印象はどうなの？ https://www.reddit.com/r/haskell/comments/iaxx7x/thoughts_on_how_to_measure_haskells_popularity/ https://trends.google.com/trends/explore?q=%2Fm%2F03j_q&date=all#TIMESERIES https://insights.stackoverflow.com/trends?tags=haskell 636 名前：デフォルトの名無しさん [2021/01/08(金) 15:22:31.00 ID:QDat+Qoy.net] Haskellはアカデミックな言語だっていうけど アカデミックな人がやることが多い機械学習でPythonが伸びた 並列処理に強いなら機械学習の行列処理がHaskellで行われても良かったんじゃないの？ 637 名前：デフォルトの名無しさん mailto:sage [2021/01/08(金) 18:33:26.91 ID:rDTYcDTI.net] Haskellは並行並列を楽に書けるのであって速く書くのに向いているわけではない（滅茶苦茶向いていない訳でもないがハードウェアに近い組には速度で勝つのは大変） そしてDNNは内部処理がテンソル演算でこそあるけどインターフェイスでそこまでむき出しのテンソル演算をするのは多くない なによりアカデミックは一枚岩ではなく当然色々幅が広くて Haskellがアカデミックと呼ばれる所以は言語処理系や型理論、その実装の分野 並行並列が楽に書けるってのはその流れからくる、関数の純粋性とソフトウェアトランザクショナルメモリの成果 機械学習系の源流になる内の画像処理系ではC++やmatlabが、統計系はRやmatlabが使われててnumpyと共に徐々にPythonに移行してきた ちょっと下のレイヤーのBLASやシミュレーションではC++とFortran、後にGPGPUの独擅場で今ではPythonから呼ばれる形で使われてる訳だ 638 名前：デフォルトの名無しさん mailto:sage [2021/01/09(土) 00:06:52.64 ID:cFb9Tw8T.net] 機械学習はどっぷり工学分野だからアカデミックという印象は少ないイメージあるが 639 名前：デフォルトの名無しさん [2021/01/09(土) 16:47:47.44 ID:gjIQ6YZR.net] haskellについて調べてるんだけど 関数の合成は関数Aの返値と関数Bの引数の型が一致するとかの条件が必要？ 解説記事に「関数はファンクタです」とか書かれてるんだけど 任意の関数を合成できるわけじゃないよね？ 640 名前：デフォルトの名無しさん mailto:sage [2021/01/09(土) 17:24:37.63 ID:Xoihvk5Y.net] >>632 関数合成のシグネチャを見れば分かる (.) :: (b -> c) -> (a -> b) -> a -> c "bからcへの関数"と"aからbへの関数"を受け取り、"aからcへの関数"を返す関数が関数合成 641 名前：デフォルトの名無しさん mailto:sage [2021/01/10(日) 13:23:32.27 ID:/oGn2fPm.net] ・Functorは高階カインドのクラスです ・二変数の型構築子(->)を部分適用したものがFunctorのインスタンスになります この説明を省略したら意味がわからないよね 642 名前：デフォルトの名無しさん [2021/01/11(月) 01:34:20.58 ID:OwjnhqSv.net] 超大作過ぎるけど [Entropy and Diversity](https://golem.ph.utexas.edu/category/2020/12/entropy_and_diversity_on_the_a.html) 643 名前：デフォルトの名無しさん [2021/01/11(月) 11:54:49.85 ID:TrSsUTEh.net] >>632 関数合成可能性の話と関数が関手であることは全く関係ないぞ 644 名前：デフォルトの名無しさん [2021/01/11(月) 13:43:32.73 ID:nJc/cTVc.net] Haskell　　　　圏論 ===================== 関数　　　　　　射 Functor　　　　関手 Reader r 　　　Hom関手 645 名前：デフォルトの名無しさん [2021/01/11(月) 16:14:02.10 ID:nJc/cTVc.net] H本終えたくらいの初心者が、中級上級それ以上を目指すためのロードマップって大体こんな感じ？ わたしは全部マスターしたわけじゃなくて、界隈でよく聞くのでなんか重要そうくらいのノリw 中級 ・Freeモナド ・Profunctor optics ・コモナド ・Custom Prelude 上級 ・型レベルプログラミング ・Extensible Effects ・Indexed Monads ・Template Haskell 646 名前：デフォルトの名無しさん mailto:sage [2021/01/11(月) 23:19:18.98 ID:N3ahWSVP.net] まず何より先にアプリ作ろうよ。 先人たちはアプリを作りまくる過程で、 役立つテクニックや概念を編み出してきたのだから。 647 名前：デフォルトの名無しさん mailto:sage [2021/01/12(火) 00:18:20.62 ID:5J1t5Bxr.net] Haskelｌは哲学であり、哲学からは何も生まれない 648 名前：デフォルトの名無しさん [2021/01/12(火) 01:04:23.78 ID:exO7rD20.net] >>639 ここでの問題はHaskellの鉄人になるためのロードマップであって、 Haskellでアプリを作れるようになるためのロードマップではない 649 名前：デフォルトの名無しさん mailto:sage [2021/01/12(火) 01:51:40.85 ID:pX8tczV2.net] >>641 そうか、余計な事だった、すまない 650 名前：デフォルトの名無しさん mailto:sage [2021/01/12(火) 09:05:11.74 ID:IiGdAufF.net] 哲学からは法が生まれますが… 651 名前：デフォルトの名無しさん mailto:sage [2021/01/12(火) 10:08:30.41 ID:fccMRI32.net] 何かを生まなければならないというのは道徳か？ その道徳から全てが始まるのか 652 名前：デフォルトの名無しさん mailto:sage [2021/01/13(水) 04:05:16.97 ID:A4IGUr+p.net] オタクのこういう会話クソキモい 653 名前：デフォルトの名無しさん mailto:sage [2021/01/13(水) 10:09:05.37 ID:o5CAyZYI.net] キモいという感情から 感情と知性の分断が生まれる 654 名前：デフォルトの名無しさん mailto:sage [2021/01/13(水) 10:21:18.95 ID:8kUJEegp.net] Haskell でカッコよく速いプログラム書きたいんですが、どう言う分野が向いてますか？ 655 名前：デフォルトの名無しさん mailto:sage [2021/01/13(水) 21:12:21.98 ID:DinE+zFR.net] >>647 パズルソルバー 656 名前：デフォルトの名無しさん mailto:sage [2021/01/13(水) 22:41:38.73 ID:CNkC++cr.net] 感情は先入観から生じ 先入観を克服することで知性に至る 657 名前：デフォルトの名無しさん mailto:sage [2021/01/14(木) 00:13:44.79 ID:JY+VfWVO.net] でも先入観のメリットはスピードだから 速度の最適化みたいな建前を用意すれば知性と知性の対等な関係にはなる 建前はキモいとか本音がカッコイイとか言い出さない限り 658 名前：デフォルトの名無しさん mailto:sage [2021/01/14(木) 07:11:45.05 ID:UC/QgsCt.net] 感情のための知性が工学 知性のための知性が理学 659 名前：デフォルトの名無しさん mailto:sage [2021/01/14(木) 08:24:32.45 ID:mp+NLhBe.net] なんかやたらポエムを書きたがるレスが増えたな 660 名前：デフォルトの名無しさん mailto:sage [2021/01/14(木) 10:42:33.32 ID:ApYxPV7C.net] 音やリズムをデザインしてるのか 音読できない言文不一致言語があれば、デザインと論理的構造を分離できそう 661 名前：デフォルトの名無しさん [2021/01/15(金) 04:12:13.96 ID:NAFJshBl.net] これ意見割れてるけどどっちが正しいの？ 有識者諸君のご意見を伺いたい https://www.quora.com/Is-functional-programming-most-likely-to-survive-transitions-to-different-CPU-architectures-like-post-von-neumann-ones 662 名前：デフォルトの名無しさん mailto:sage [2021/01/15(金) 10:43:33.32 ID:l3Q+U92p.net] 関数型を信じるというよりオブジェクト指向を疑うべき オブジェクト間の通信がただの関数呼び出しから軽量スレッドに変わったらどうなるか等 663 名前：デフォルトの名無しさん mailto:sage [2021/01/15(金) 20:09:59.52 ID:SSKXVcKf.net] >>655 重たくなる。 664 名前：デフォルトの名無しさん mailto:sage [2021/01/16(土) 10:01:48.97 ID:fPN57ROF.net] fix関数は least-defined な不動点を見つけるそうだけど、 この least-defined ってどういう意味？ 665 名前：デフォルトの名無しさん mailto:sage [2021/01/16(土) 10:43:22.09 ID:lq2o0P8I.net] おれの先入観によるとポインタの循環の周期が最小 666 名前：デフォルトの名無しさん mailto:sage [2021/01/20(水) 07:45:01.78 ID:0A31ygkk.net] 多分できないんだろうなと思いつつ質問です あるページで乱数をいっぱい調達する方法でこんなのありました randIntsList = let getOne rec = ( return . ( : rec ) ) =<< ( randomIO :: IO Int ) in iterate ( >>= getOne ) ( return [ ] ) main = do a <- ( return . head ) =<< randIntsList !! 100 print a コレはもちろんうまく行きました でもコレちょっと不愉快です IO [ Int ] とかで例えば randInts :: IO [ Int ] randInts = do hd <- ( randomIO :: IO Int ) tl <- randInts return $ hd : tl main = do a <- ( return . head ) =<< randInts print a とかであらかじめ使う数を指定しないで好きなだけとってくるとかできないもんでしょうか？ 上のはGHCで参照すると実行時エラー出ます 667 名前：デフォルトの名無しさん mailto:sage [2021/01/20(水) 14:24:39.71 ID:7SUaJKsz.net] ついさっき関数的プログラミングの話題してたが やっぱり通じないな 関数？そりゃ関数くらい普通に書くよねw 副作用？必要なら出ないように書けばいいんじゃないの？どうでもよくない？ 純粋関数の考え方？そんなのいらないよねw 部分適用？今までそんなの必要になったことないなあw そんなの何に使うんだ？ まあ言われてみれば誰にでもわかるような利点を提示できないってのは確かにあるが・・ 利点がないなら好みの範囲で片付けられちゃったな

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef