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

**デフォルトの名無しさん** · 2020/02/10(月) 18:17:36.49

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part32
https://mevius.5ch.net/test/read.cgi/tech/1548720347/

**デフォルトの名無しさん** · 2021/10/06(水) 01:58:31.84

>>919
return 1 getLine は (return 1) getLine だから、
(return 1) が関数(a->b) じゃないと型が合わないんじゃないかな？

**デフォルトの名無しさん** · 2021/10/06(水) 22:57:04.48

関数モナドと同じように、引数一つ取るモナド作ったらambiguousって怒られるかなと思ったんだけど、コンストラクタ書かないとならないからうまくいかない。
この値は関数モナドにしか解決されないのかな

**デフォルトの名無しさん** · 2021/10/07(木) 09:52:08.72

C++のoperator()()に相当する演算を多重定義できないので曖昧ではない

**デフォルトの名無しさん** · 2021/10/17(日) 18:41:32.26

なんｊでめんだこって言う女装子がhaskell勉強していてdao of functional programmingっていう海外の人が書いた文献がわかりやすいってことでそれ読んでいるらしいが
ここの人にもそれ読んでいる人いる？

**デフォルトの名無しさん** · 2021/10/17(日) 20:11:52.85

これか

The Dao of Functional Programming
https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf

圏論関係の内容だな

**デフォルトの名無しさん** · 2021/10/17(日) 20:37:14.39

>>924
すまんリンク探させてしまってすまない
ワイが貼るべきやった
ワイは圏論わからないから読まずじまいだったわ
いつか圏論習得できたらその際に読もうかなって思ってる

**デフォルトの名無しさん** · 2021/10/17(日) 21:08:39.75

プログラミングの本質を学ぶには圏論について学ぶ必要があるということらしい
学んですぐ役立つというものではないようで、すぐ役立つ知識がお望みなら他をあたってくれ、とか

**デフォルトの名無しさん** · 2021/10/17(日) 23:35:51.47

見せてもらおうか、圏論とやらを。

**デフォルトの名無しさん** · 2021/10/18(月) 00:33:18.04

>>924
同じ著者の

Category Theory for Programmers
https://github.com/hmemcpy/milewski-ctfp-pdf/releases

**デフォルトの名無しさん** · 2021/10/18(月) 02:49:04.06

また圏論か
もういいよ

**デフォルトの名無しさん** · 2021/10/18(月) 12:08:52.29

さあ　ねがいを　いえ

**デフォルトの名無しさん** · 2021/10/18(月) 15:15:47.20

https://www.youtube.com/watch?v=E-48ent631o
https://bangumi.ouj.ac.jp/v4/bslife/detail/156936813.html

**デフォルトの名無しさん** · 2021/10/22(金) 12:14:30.91

Free monad とは何か？の、シンプルかつ的を射た説明がsrackoverflowにあった。
(John Wiegley の回答)
https://stackoverflow.com/questions/13352205/what-are-free-monads

これを読んでから他の色んなFree monadの記事を読むと、すんなり理解できる。

これ、本質がよく解っている人の回答だよね。
こんな格好良く回答ができるよう精進したい。

**デフォルトの名無しさん** · 2021/10/22(金) 21:20:57.92

UTF-8 のHaskell ソースコードに書き込んだ日本語文字列を通信先に渡す為に Shift_JIS の String にしたいのですが

module Main where

import Data.Text.ICU.Convert as ICU
import Data.Text as T
import Data.ByteString.Char8 as BS

main :: IO ()
main = do
　　conv <- open "Shift_JIS" Nothing
　　let
　　　　utf8txt = T.pack "皆は、赤ちゃんしゅきぃ？"
　　　　sjis_bs = fromUnicode conv utf8txt

この sjis_bs をどうしたら Shift_JIS の String になるんですか？
BS.unpack だと
ﾂ皆ﾂづ債、ﾂ静板つｿﾂづ｡ﾂづｱﾂつｵﾂづ｣ﾂつｫﾂつ｡ﾂ？
になってしまいます

**デフォルトの名無しさん** · 2021/10/22(金) 23:18:21.74

haskellってpythonに影響与えてるんやな
どおりで雰囲気似てる感じするんか

**デフォルトの名無しさん** · 2021/10/23(土) 01:09:52.51

レイアウトと呼ばれるインデントスタイルは、Pythonが1991年に最初にリリースであり、85年以前にあった
Mirandaを参考に1990年にHaskellは登場したはず。

**デフォルトの名無しさん** · 2021/10/29(金) 12:55:32.45

不動点演算子がわからなくて泣ける
再帰呼び出しになってないのに再帰になってるのはわかるんだけど

**デフォルトの名無しさん** · 2021/10/29(金) 18:35:44.90

>>936
何が分からないのか分からない

**デフォルトの名無しさん** · 2021/10/29(金) 18:40:46.51

>>937
なんでわかるんや？
才能か？
後不動点定理がわからん
勉強しろって言われてるけど

**デフォルトの名無しさん** · 2021/10/29(金) 20:05:05.45

遅延評価の才能がないと x = f x を思いつかないんだよな
y f = f (y f) しか分からない

**デフォルトの名無しさん** · 2021/10/29(金) 21:04:54.17

>>936 の何もかもが、こちらには分からない。
愚痴を言いたいだけなのか、それとも何か質問をしたいのか。
後者なら、質問内容は何か。

>>938
> 後不動点定理がわからん
それだけなら、勉強してくださいとしか言いようがない。

勉強しろと言われているのなら、何か資料が配られたり、
参考文献が挙げられたりしていないのか？
そういうのが既にあるのなら、取りあえず全てに当たって、
今分かる部分と分からない部分を徹底的に細かく仕訳してみればいいのでは？

**デフォルトの名無しさん** · 2021/11/05(金) 06:38:08.04

>>936
分からないのは何故再帰処理してるのかじゃなくて（そこは定義的に明らかだし）、
どうして無限ループせずに終了するのかでいいのかな

**デフォルトの名無しさん** · 2021/11/14(日) 05:07:45.42

やっと Monad クラスから return が消えるよ
まだ計画段階たけど
https://github.com/fumieval/Haskell-breaking-changes

**デフォルトの名無しさん** · 2021/11/14(日) 21:26:09.61

なんで消すの？

**デフォルトの名無しさん** · 2021/11/15(月) 02:14:35.96

>>943
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。

それにreturnって名前があまりに実態とかけ離れてるしね。

**デフォルトの名無しさん** · 2021/11/15(月) 12:46:13.83

初歩的な質問ですが、複数の設定ファイル読み込みするのに
readFile で全体取得してから処理するのと
withFile で hGetLine しながら処理するのではどちらがいいとかありますか?
主に処理速度の点について聞きたいです。

**デフォルトの名無しさん** · 2021/11/15(月) 18:22:40.27

>>945
そういうのは、自分で実験すればすぐに確かめられるのでは？

**デフォルトの名無しさん** · 2021/11/15(月) 21:51:56.85

>>944
Applicativeにpureがあるのはなんで？
Monadのreturnだけにするのは変ですか？
零元がApplicativeの責務なのがピンときてないんです。Monadだと何と合わないんでしょう

**デフォルトの名無しさん** · 2021/11/16(火) 02:22:00.49

>>947
できるだけ一次情報に当たりましょう。
>>942 のリンク先の Planned: remove return from Monad の項目の
Proposal のリンク先を読んで下さい。
(更にその先の dudcusdion なども)
それが最も正確で、かつ、分かりやすいです。

**デフォルトの名無しさん** · 2021/11/16(火) 21:38:06.78

正確に綴ってくれ

**デフォルトの名無しさん** · 2021/11/16(火) 22:40:31.75

読んでみたけどよくわかんないなあ。AMPを満たすためにApplicative m => Monad mが必要ってことは書いてあるようだけど
Monadからreturnを削除して、pureに統一する理由って書いてあるかな？
読み飛ばしたかもしれんけど。

return = pureだから、統一しても同じっていうのは分かるんだけど、Applicativeにpureが必要な理由がわからない。
Applicativeの4つのルールを満たすためにpureが必要なことは、Applicativeの定義に書いてあるけど、圏論わかんないから、このルールが何で必要なのか分からん。

Monoidal Functor？とかいうやつの表現のために単位元(零元じゃなかったね)が必要なんだろうけど、圏論わからんないから分からん。

Monoidと関係あるんだろうか。それなら加法のために単位元が必要なのはわかるんだけど。

**デフォルトの名無しさん** · 2021/11/16(火) 22:42:08.60

誰か噛み砕いて教えて下さい

**デフォルトの名無しさん** · 2021/11/17(水) 06:46:33.09

より抽象度の高い方であるApplicativeのpureを生かすのは
私はごく自然に感じるけど

mappendと<>も機能的にダブってるから
将来Monoidからmappendが消えるよって
Monoidのドキュメントに書いてあるけど
もしかしてそれも疑問だったりする？

Semigroupの方から<>を消して、
Monoidのmappendを残すんじゃダメなの？って

**デフォルトの名無しさん** · 2021/11/17(水) 08:05:13.47

>>950
圏論は一切関係なく、いかに誤りの無いプログラムが書けるか、
またソースコードが読みやすくなるかという実用的な理由です。
そういう観点でもう一度読んでみてください。

Haskellは実用的な汎用プログラミング言語であることを目指して作られました。
なので、今回のような理由での提案は個人的にはすごく納得できるし、大賛成です。

**デフォルトの名無しさん** · 2021/11/17(水) 12:44:32.78

コメントありがとです。
Semigroupは半群、Monoidは単位元付きの半群ですよね。
言われてみると、<>に統一してmappendは消しても自然な気がする。
すごいHでログ文字列がmappendで追加されていく、サンプルを読んだことがあるので、Monoidは受け入れやすいんです。
Semigroupに単位元がないことは不思議に思わないです。半群というものを聞いたことがあったのと、
ログの例に戻ると、文字列なしのログはありえないと考えれば、単位元がないMonoidがあってもあまり不思議に思わないです。

言ってることが上と変わってきてるかもしれないですが、Applicativeが不思議に思うのは、ここに単位元？(というか単位元を生成する)pureがあること。
Applicativeの結合<*>って持ち上げられた型だけで構成されてます: f (a -> b) -> f a -> f b。
圏論何も知らないで言いますが、単位元pureは持ち上げられた型f aが自然な気がするんです。a -> f aではなく。
雰囲気でそう感じてるだけですが。

そんでもって、a -> f aが登場するのって、Monad.(>>=)だよなあってことで、だったら、returnがMonadにあるのは自然なんじゃないかな、と思うわけです。
そうすると、pureってなんのためにあるんだろう。同じ型ならMonadだけあるほうが自然だなと感じたわけです。

たぶんこれは圏論を知っていれば、変に思わないのかなと思って、そう言ったわけです。
推敲できてない感ありますが、伝わりますかね？

**デフォルトの名無しさん** · 2021/11/17(水) 12:50:22.84

ちなみに自分は、自分の価値観に反してるから却下すべきだと言ってるのではなくて、
どうしてこういう構造が正しいの？実際の理論やコードでの利用例に照らしてどんな利点や意味があるのと知りたいだけです。

**デフォルトの名無しさん** · 2021/11/17(水) 15:59:19.97

そもそもapplicativeなるものが数学の圏論的に何意味するかよくわからんのだよな
monadの方はwikiのmonad (category theory)の項があってキッチリ解説されてるし

https://en.m.wikipedia.org/wiki/Monad_(category_theory)

Tがcategory C上のmonadであるときfmap Tをμ｡η_Tで定めればコレがfunctor C→Cを定義するのもわかるんだけど、applicativeについておんなじような解説が中々見当たらない
どっかでDescartes closed categoryがどうたらいうのを見た事あるんだけど誰か知りません？

**デフォルトの名無しさん** · 2021/11/17(水) 16:59:55.76

「アプリカティブ関手はモノイド圏における強laxモノイド関手だよ、何か問題でも？」
https://blog.miz-ar.info/2018/12/applicative-functor/

**デフォルトの名無しさん** · 2021/11/17(水) 17:27:50.45

>>956
多分これの概要部分は見てるんですよね。
https://en.m.wikipedia.org/wiki/Applicative_functor
後ろの方はさておき、概要部分は自分はさっぱりでしたが。

**デフォルトの名無しさん** · 2021/11/30(火) 20:23:52.94

haskell勉強しようかなって思ってるんですけどおすすめ書籍ってなにかありませんか？
ちなみにocamlでプログラム書いたことあります
型システム入門を原文で7割ほど読破しました
ちなみに大学受験の数学はそこそこ自信あります
一階述語論理の記号扱って解いていました
圏論の知識はありません

**デフォルトの名無しさん** · 2021/11/30(火) 20:27:04.88

ちなみにモナドは日本語版wikipediaの記事を読んだのみです
型クラスはわかります
MaybeまではわかりましたがIOモナドで躓きました
ocamlとは違って参照型がない言語だってことは意外に思いました

**デフォルトの名無しさん** · 2021/12/02(木) 00:19:03.82

(>>=)がただのデータコンストラクタだったらモナドはただの構文木なのに

data M b = Bind (M a) (a -> M b) | ...

みたいな定義ができない型システムだから
代数的データ型を使わないでラムダをたくさん使うことになってみんな躓く

**デフォルトの名無しさん** · 2021/12/02(木) 13:13:42.19

そりゃそうやろ？
データコンストラクタと展開されるべき関数の違いをプログラマが指定しなければ処理系は与えられたexpressionをどこまで展開すべきか決定できんやろ？

**デフォルトの名無しさん** · 2021/12/02(木) 14:49:59.14

>>959
Haskellを始める前に仕入れたそのような知識やOCamlの経験が、
Haskellの学習にいったいどんな影響を与えるのか、
楽にするのか、それとも邪魔にしかならないのか、正直まったく分からん。
Haskellで何をしたいのか、目的や目標も分からんし。

なので、Haskell入門者という観点だけで次の2点をすすめる。

さっと要点を学んで早くアプリを作り始めたいのなら、薄い入門書で十分。
「Learn You a Haskell for Great Good!」
が良いと思う。

ガッツリ学びたい、かつ、時間と根気があるのなら、
「Haskell Programming from first principles」
がおすすめ。

詳しくはどちらも公式サイトを参照して。

なにで学習するにしても、手や頭を動かす(プログラミングする)のが主で、
本やドキュメントを読むのは従であることを忘れずに。

**デフォルトの名無しさん** · 2021/12/02(木) 17:56:37.45

>>963
すみません
関数型言語って敷居が高そうなイメージあってやるにはある程度数学の素養が求められるのかなって思っていろいろ自分なりの知識があるところ挙げてみました
特に型システム入門は型推論の理論とか分かっていたほうがいいのかなと思って読んでいました
まずはLearn youの方を読んで見ようと思います
ありがとうございました

**デフォルトの名無しさん** · 2021/12/02(木) 20:33:40.95

>>962
ただし、IOモナドは「展開」できない方がいい
そうすれば処理系がexpressionをどれだけ「展開」しても副作用がない

**デフォルトの名無しさん** · 2021/12/14(火) 12:11:46.65

あの伝説の岡部健が復活！！
https://twitter.com/ken74047924

（おまけ情報）
Quoraでも有名だった岡部健、2021年12月にTwitterのアカウントまたまた永久凍結される。
当時のアーカイブは多少ネットに残ってるらしい

https://twitter.com/KenSmooth5
https://i.imgur.com/Ws4RM1o.png
https://twitter.com/5chan_nel (5ch newer account)

**デフォルトの名無しさん** · 2021/12/14(火) 12:13:53.75

毛の壁から国民を守る党 72議席目
https://lavender.5ch.net/test/read.cgi/net/1615613906/

**デフォルトの名無しさん** · 2021/12/14(火) 12:34:07.62

IQ145の人？

**デフォルトの名無しさん** · 2021/12/14(火) 12:57:57.79

>>968
よく覚えてるな
最近はkensmoothってアカウントを連番で取得して、ネトウヨムーブを連発してたんだけど全部凍結されて今のアカウントになってる
あのネトウヨ投稿はなんだったんだろう

**デフォルトの名無しさん** · 2021/12/14(火) 17:15:27.20

>>966
うわあ

**デフォルトの名無しさん** · 2021/12/14(火) 17:39:35.08

>>966
なにこの一覧

**デフォルトの名無しさん** · 2021/12/14(火) 18:35:50.33

岡部健、Twitter再開してたのねw
Newbieとはご無沙汰してたから知らんかったわw

**デフォルトの名無しさん** · 2021/12/14(火) 19:46:12.10

ツイッター再開おめでとうございます！
来年はべーやんの年になる！
と良いですね！

**デフォルトの名無しさん** · 2021/12/14(火) 22:17:24.22

>>966
こはひどい

**デフォルトの名無しさん** · 2021/12/14(火) 22:19:44.63

岡部の最近凍結されたアカウントのツイートみっけた

https://archive.ph/7pepg

**デフォルトの名無しさん** · 2021/12/14(火) 22:22:42.89

べーやんは論客なんだな。

**デフォルトの名無しさん** · 2021/12/14(火) 22:38:20.35

UCLAを卒業したという話は封印したみたいね
なぜ？

**デフォルトの名無しさん** · 2021/12/14(火) 22:53:00.93

たまたまでは？

**デフォルトの名無しさん** · 2021/12/14(火) 23:06:41.51

Quoraでいろいろ回答しているがモナドの解説は見事だぞ

**デフォルトの名無しさん** · 2021/12/14(火) 23:16:06.08

こんな話で勢いづいてるんじゃないよ君ら

**デフォルトの名無しさん** · 2021/12/14(火) 23:42:04.31

>>979
ハラデイ

**デフォルトの名無しさん** · 2021/12/15(水) 00:16:47.05

「モナドについて学んでいるのですが、mapやflatMapは圏論ではどの概念にあたるのですか？」
具体的に例示していてわかりやすい。

**にしやま@大阪大学** · 2021/12/15(水) 07:25:32.70

嘘つきケンちゃん、相変わらずですねww
久々にわたくしも腹筋がミシミシと鍛えられました
しばらくわたくしも加勢いたします

**デフォルトの名無しさん** · 2021/12/15(水) 08:55:33.56

Hugs> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
[0,1,1,2,3,5,8,13,21,34]

GHCi
Prelude> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
<interactive>:6:14: error: parse error on input ‘where’
言語仕様が微妙に異なる？

オレメモ、バッチファイル
stack ghci
を目的のディレクトリ下(例、e:\haskell)に作ってディスクトップにはバッチファイルへのリンクを作っておくと
ghci起動後カーソルが消えない

貴重なHaskellスレがもう過ぐ1000行く

**デフォルトの名無しさん** · 2021/12/15(水) 10:41:42.68

>>966
ぎゃっはっはっはっは

**デフォルトの名無しさん** · 2021/12/16(木) 08:29:00.48

令和の時代に毛の壁ふたたび

**デフォルトの名無しさん** · 2021/12/16(木) 21:29:13.60

自分でキャラ演出してるだろ

**デフォルトの名無しさん** · 2021/12/16(木) 21:38:27.93

https://togetter.com/li/773846
ちょまど氏が首突っ込んでるけど、社名背負ってよくこんな書き込み出来るもんだと、驚いた。

**デフォルトの名無しさん** · 2021/12/16(木) 21:46:42.96

他の人も叩いているから便乗して死体蹴りしようか的な精神が見て取れる

**デフォルトの名無しさん** · 2021/12/16(木) 21:55:44.07

>>988
毛の壁氏、ですか、なつかしいですね

**デフォルトの名無しさん** · 2021/12/16(木) 21:55:47.51

それはマイクロソフト社の公式見解ですか？って突っ込み入れて欲しいわ。

**デフォルトの名無しさん** · 2021/12/16(木) 22:06:47.71

教祖だの洗脳だの言いがかりも甚だしいし、「学術的な真理ではないし」云々という自身の書き込みがそのままブーメランだと思うけど。
これを社名背負ってやるんだから頭おかしいわ。

**デフォルトの名無しさん** · 2021/12/16(木) 22:08:34.93

誰か次スレ立てろよ

**デフォルトの名無しさん** · 2021/12/16(木) 22:42:52.47

結局モナドってなんなのかわからんということにすべて起因してる希ガス
話題になってからもう二十年くらい立つのに結論でないし、数学者でもない限り一生わからんのだろうな

**デフォルトの名無しさん** · 2021/12/17(金) 13:01:29.30

新スレを立てました。当スレ(Part33)が埋まってからの利用をお願いします。

関数型プログラミング言語Haskell Part34
https://mevius.5ch.net/test/read.cgi/tech/1639713446/

**デフォルトの名無しさん** · 2021/12/18(土) 00:42:46.36

>>994
結論だせる個人は存在するけど
組織になるとなぜか、結論だせない奴が代表者を気取ってるだけじゃん

**デフォルトの名無しさん** · 2021/12/18(土) 11:05:05.98

>>996
結論出せる個人て岡部氏のことっしょ？
そういう勢いでどうこうじゃなくって皆を納得させるような結論はないっていうこと

**デフォルトの名無しさん** · 2021/12/18(土) 11:23:52.39

納得が遅い

**デフォルトの名無しさん** · 2021/12/20(月) 09:52:36.40

https://qiita.com/mod_poppo/items/a6317294ba1e39b1c3b3

コメント欄に毛の壁現る。

**デフォルトの名無しさん** · 2021/12/20(月) 09:52:54.51

また誹謗中傷してるので通報よろ

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 678日 15時間 35分 18秒