関数型プログラミング言語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/

**デフォルトの名無しさん** · 2020/03/27(金) 20:16:36.86

まずはっきりさせておきたいが、Haskellのテキストで
「命令列」なるものは出てこんし誰もそんなものを使ってモナドを説明しようとしてない。
あくまで「命令列」とは、>>74が自身でモナドを理解するために有用な概念だと見出し定義した用語と考えるべきだ

だからここで有意義な議論がしたいなら、まず目的を確認する必要がある。
我々は>>74さんの頭の中を理解したいのか？
それともモナドに対してより良い理解を形成したいのか？

**デフォルトの名無しさん** · 2020/03/27(金) 20:19:07.32

遅延評価と考え方は似てると思う。状態の受け渡しとかが出てきてこんがらがる

**デフォルトの名無しさん** · 2020/03/27(金) 20:21:43.46

>>93
自分も>>74の理解で問題ないと思うんだよ

**デフォルトの名無しさん** · 2020/03/27(金) 20:47:16.26

IOモナドに副作用を追いやれることがどれくらい良いことなのかを議論するのは悪くないと思うけど、
副作用が無いなんて嘘付き！とかそもそもプログラムってのは副作用の塊だ！っていうのは誤解か誤読かフカシに騙されたかのどれかなので楽しくない話になる、と思う

**デフォルトの名無しさん** · 2020/03/27(金) 20:49:07.27

関数型と手続き型は共存するべき
関数型はマクロの性質を持っている

**デフォルトの名無しさん** · 2020/03/27(金) 21:16:36.28

>>93
別に厳密に何か言ってるわけでもないからあんたの思ってる通りでええよ。
ただの解釈だからこだわらずに勝手に理解したらいいさ。

**デフォルトの名無しさん** · 2020/03/27(金) 21:17:09.88

言語設計者じゃなければ難しいこと考える必要なんてないんだ。ただの Haskell ユーザだろ？
（Haskellの）モナドは Haskell という基盤上で動作するDSLプラットフォームだよ。
各々が Haskell 上で動作するオレオレ言語を作れるんだ。
だから一度それを走らせれば、その中に他人の言語が干渉することはできない。
C++を書いてる途中でJavaコードを直接混ぜることは許されないというトートロジー。
他のDSLとはポートを作ってそこでデータを輸出入する

（Haskellの）モナドはC++コードにJavaコードが混ざらない事を保証してくれる
そういうイメージ

（Haskellの）モナドのライブラリには、その設計者の思想によるDSLの書き方がある。
それを知らずに型とだけ睨めっこしててもIQテストだよ

**デフォルトの名無しさん** · 2020/03/27(金) 21:54:14.38

>>96
Haskellの解説本・サイトは「副作用のないプログラミング!」のように喧伝し、
副作用がまるで悪いものであるかのように誤認させているからな。

医薬品の副作用は意図しない有害な作用なので避けるべきだが、プログラム言語の
副作用は数学的な意味で関数とは言えないだけで、意図した有益な作用だから何の
問題もない。副作用があろうとなかろうと、関連が深い処理をまとめて記述する
手続き型言語の方が使いやすい。

純粋関数型なんて実用性が大きく劣る。ラムダ関数や高階関数など関数型の
おいしい所だけ手続き型に取り入れるのが賢明。

**デフォルトの名無しさん** · 2020/03/27(金) 22:59:10.30

>>100
うん。だからあなたは純粋関数型なんて実用性が大きく劣るものなんか使わず
あなたの好きな手続き型の言語で実用的なプログラム書いてればいいじゃん。
その言語のスレにいってその言語の好きなところとか新しく出てきたすごい機能とかの
話題で盛り上がったほうがよほど生産的ではなくて？
わざわざこんなスレにツバかける来る暇があったらさあ。

**デフォルトの名無しさん** · 2020/03/27(金) 23:33:11.47

>>93
おれも同意だね
ここに限らず命令列、指令書みたいなメタファーで説明しようとするやついるけど
初学者にとって全く理解の助けにならない
プログラミング言語を説明するのに命令列って説明になってない

worldの考え方とモナドによる隠蔽で説明した方が理解しやすい

**デフォルトの名無しさん** · 2020/03/27(金) 23:51:09.98

Mワードは控えようね！

**デフォルトの名無しさん** · 2020/03/28(土) 09:17:26.94

実装に依存するな、メタファーに依存しろ

こういうのって実装はコロコロ変わるがメタファーは不変という前提なんだよね
前提が崩れたらやっぱり実装に依存する方が正解だったことになる

**デフォルトの名無しさん** · 2020/03/28(土) 11:10:45.76

モナドに関しては、モナドというインターフェースを実装しとけばそのデータはdo記法という特殊構文に対応する
ぐらいの説明でいい

IOモナドに関しても、world云々とかioモナドの実装とか知らなくても問題ない
IOアクションをdo記法で組み合わせて手続型言語風の書き方を再現できることだけ知ってれば良い

**デフォルトの名無しさん** · 2020/03/28(土) 12:07:59.94

>>88
ハァ？じゃあ役に立つプログラムを書けばいい

良い／役に立つはどう違うか、説明できないだろ
雰囲気で誤魔化せると思っているお前みたいなアホが真の元凶
良いプログラムが役に立つプログラムと無関係なら、良いなんて指標は何の役にも立たん

Haskellで役に立つプログラムをお前が書け
それができないならせめて、何が足りないのか言え

**デフォルトの名無しさん** · 2020/03/28(土) 12:16:59.39

このスレだけでなくあちこちに、"悟り派"が蔓延ってるのにそろそろ一言言っておくぞ
悟り派は、Haskellで悟りを得て自分の言語に持ち帰る
そして自分の製品のなかに不完全なHaskellのサブセットを作ってブーたれる。やれ遅延評価がない、モナドがない…
そんなんするくらいなら最初からHaskellで書けや

新規の参入、それ自体はいいことだが…

**デフォルトの名無しさん** · 2020/03/28(土) 12:38:06.30

>>104
IOアクションの命令書のメタファーは登場した当初から変わってないでしょう

>>102
指令書のメタファーは初学者にとって助けにならない？
そうかな、わかりやすいと思ったけど
RealWorld の State 、って説明はこっちはこっちで腑に落ちたし

>>92
の解説は、自分はなんか違和感を持ったが… うまく反論できない

**デフォルトの名無しさん** · 2020/03/28(土) 12:40:02.34

>>107
雑種のことをハーフとか不完全とか言うやつは悟りが足りない
むしろ二倍

**デフォルトの名無しさん** · 2020/03/28(土) 12:53:14.21

>>101
「ついてこれないならついてこなくていい」スタイルもどうかと思うぞ
そんなんやってたら、いずれ砂漠になっちまう
ただでさえスレッドが一週間止まるなんてざらにある現状なのに

>>100
> 副作用があろうとなかろうと、関連が深い処理をまとめて記述する手続き型の方が使いやすい
Haskell はモナドの do 構文を通して手続きをサポートする。手続き型言語でもある
副作用の有無に関わらず処理をモジュールにまとめることはできる
むしろ入出力が型に明に表れるので通信的凝集などの高凝集なモジュール分けに自然になりやすい

ただそれと引き換えに、ラフに、スケッチ的にプログラミングするのがやりにくい
これは原理的なトレードオフではないと思うが、少なくとも現時点ではそうだ

**デフォルトの名無しさん** · 2020/03/28(土) 13:03:17.72

>>109
(雑種って言い方がすでに汚ねぇ)
人種にするみたいに、思想に文句をつけてるわけじゃなくてだな…
プログラマー全体の仕事の総量は増えてるってことを批判してる。非効率

**デフォルトの名無しさん** · 2020/03/28(土) 13:20:53.69

>>107
悟り派はそんな面倒なことしません。
他の言語に移るだけです。

**デフォルトの名無しさん** · 2020/03/28(土) 13:39:06.65

>>112
そんな面倒なこと？
Haskell風ライブラリを作ることか？それとも最初からHaskellでやること？
後者だとすれば何がボトルネックになっているのか

**デフォルトの名無しさん** · 2020/03/28(土) 13:51:46.86

言語仕様はよいよね
実装はどこがよいのかさっぱりわからんが、知らなくても問題ないと言われる

**デフォルトの名無しさん** · 2020/03/28(土) 14:01:08.48

なら、F#でいいと思います。
副作用もあるし、コンピューテーション式もあるよ。

**デフォルトの名無しさん** · 2020/03/28(土) 14:02:43.23

>>114
どこが悪いのかも同じようにわからない、って解釈でいいかな

**デフォルトの名無しさん** · 2020/03/28(土) 14:06:58.93

>>115
ふむ、それらがあった方が Haskell よりも良い――その理由を説明してほしい
Haskell サイドに取り入れられるかもしれない

**デフォルトの名無しさん** · 2020/03/28(土) 14:08:13.75

なんかギルガメッシュいてワロタ
雑種！！！

**デフォルトの名無しさん** · 2020/03/28(土) 14:18:52.56

>>118
突然妙なことを言い出したので、釣られて笑ってしまった
ギルガメッシュってなに？

**デフォルトの名無しさん** · 2020/03/29(日) 20:36:56.39

Haskellの仕様=ゲートオブバビロンかよ

**デフォルトの名無しさん** · 2020/03/29(日) 21:28:27.32

Haskellの理解に圏論は必要ないとよく言われるけど、
End/Coend勉強したらHaskellのポリモーフィズムとか
存在型のことがよくわかったし、
コモナドとか余代数は圏論的理解しといた方が絶対にいいなと思った
今はKan拡張に挑戦中だわ

**デフォルトの名無しさん** · 2020/03/29(日) 21:37:39.83

なにで勉強してるの？

**デフォルトの名無しさん** · 2020/03/29(日) 21:42:16.37

>>121
理解が何を指しているかによる

haskellでwebアプリやゲームを作ることができる
というのが理解の指標なら、圏論は知らなくてもいい

**デフォルトの名無しさん** · 2020/03/29(日) 21:46:33.53

>>123
ekmettのライブラリとかHaskellの型システムを強化する言語拡張など、高度に抽象的なコンストラクションがどういう意図で作られていてどういう場面で役に立つのか

**デフォルトの名無しさん** · 2020/03/30(月) 04:34:10.51

>>121
うい。
知ってた方が良いけど、知らなくても使えはする。
むしろ最近はHaskellより圏論に興味が移ってる。
(Haskellやその他の言語はその理論の確認用)

**デフォルトの名無しさん** · 2020/03/30(月) 04:43:23.39

>>66
手続き型言語と数学の関連性が見える様になると、数学的に正しい=バグが無いプログラムを書けるようになる。
だったら数学(特に圏論)だけで良いんだけど、ほぼ数学なHaskellで実際に動かして手続き型言語と数学の共通点を確認出来る。

**デフォルトの名無しさん** · 2020/03/30(月) 04:50:50.17

モナドについてはDSLと言うのは言い得て妙で、mainはIO ()を得るために式を展開する。
その過程で副作用を含む式が動き出す。
個人的にはHaskellは副作用は有るが、参照透明性は崩れていないと言うのがHaskellが純粋関数型言語を主張する根拠なのだと思う。

**デフォルトの名無しさん** · 2020/03/30(月) 05:26:16.39

アプリを作ることに限れば、圏論の触り部分すら知らなくても問題ない。

C#やJava、Pythonは大して深く理解していない入門を抜けたばかりの人でも、
アドバイスを受けながら一通りアプリを完成させられるでしょ。
未知の必要なライブラリも本やドキュメントを読んで使い方を学べるでしょ。

haskellもまったく同じ。
入門を抜けたらすぐにアプリを作れる（し、そうすべきだと個人的には思う）。
そこに圏論の知識は微塵も要らない。

圏論の知識が活きるのは意味論をしっかり考える時だ。
**に圏論が役立ったよ、圏論のおかげで**が理解できたよと言っている人は、
意識的にせよ無意識的にせよ、その**の意味論を考えてたのではないか。

それ自体は素晴らしいことだと思う。
でもそこまでの深い理解がなくても実用的なアプリは問題なく作れる。

因みに、バグを減らすのにも圏論の知識は必要ない。

**デフォルトの名無しさん** · 2020/03/30(月) 07:45:32.21

HaskellをやってるうちにHaskellの魅力に気づいて
Haskellで何かを作るよりもHaskellという言語自体のことをもっと深く知りたくなることもあるだろ
そう言う場合に圏論は最良の選択だよ

俺としては、Haskellでアプリを作るためにはまあ圏論を知らなくてもいいと思うけど、
圏論を勉強すれば、より高い視点から見えるものもある
必須じゃないが、苦労して圏論を学んだボーナスだな

**デフォルトの名無しさん** · 2020/03/30(月) 09:41:29.75

モナドがらみだとF#のコンピューテーション式使って
async定義されてるらしいな　ちょっと、モナド凄いと思ってしまった

裏で共通作業をするって意味なら分からなくはないけど、
その仕掛けは気になる

F# vNext は何が "ヤバい" のか: Monadic Programming の新時代
https://qiita.com/cannorin/items/1936faded610c3ab6c18

**デフォルトの名無しさん** · 2020/03/30(月) 18:05:04.07

型クラスとインターフェースがなんとなく似てるので、
型クラスのようなことをインターフェースでまねしようとしてなんか違う…ってなってたけど、やっとなぜなのかわかった

インターフェース(クラスポリモーフィズム)って、そもそも型クラスとは全く別物で、むしろ存在型の一例になってるだな
やっぱり型クラスは型クラスで、型クラスのない言語でこ対応物なんてなかったんや

**デフォルトの名無しさん** · 2020/03/30(月) 21:57:05.25

このゲームAIのコンテストにHaskellで参加して優勝してHaskellの強さを見せつけてやれ！

https://www.codingame.com/contests/ocean-of-code/leaderboard/global?column=LANGUAGE&;value=Haskell

**デフォルトの名無しさん** · 2020/03/31(火) 00:52:19.85

ハスケラが目的のあるプログラミングなんてやるわけないじゃん

**デフォルトの名無しさん** · 2020/03/31(火) 11:43:52.10

目的はお金でも知識でもいいよ
例えばお金自体が目的だったらそのお金が無駄に多過ぎるんじゃないかとか心配する必要はない

**デフォルトの名無しさん** · 2020/03/31(火) 13:19:45.47

お金、知識でもいいけど
たいていは俺すげーしたいだけだから問題。

**デフォルトの名無しさん** · 2020/03/31(火) 13:55:00.32

事前に目的を決めても「俺すげーしたいだけ」とかいう真の目的が後から出てくる
事前に嘘をついていたことか問題だと思えば沈黙が正解

だが隠し事をしていたことが問題だと思えば沈黙は悪
黙っているくらいなら嘘でも何か言った方がマシと思ってますます嘘が増える

**デフォルトの名無しさん** · 2020/03/31(火) 18:03:32.10

存在しない敵に吠え続ける

**デフォルトの名無しさん** · 2020/03/31(火) 18:05:52.76

>>135
学歴コンプやばそう

**デフォルトの名無しさん** · 2020/03/31(火) 21:38:58.38

だから金だろうと知識だろうと、学歴だろうとなんでもいいんだよ。
糞みたいなプライドで開発の邪魔しなけりゃな。

**デフォルトの名無しさん** · 2020/03/31(火) 23:05:18.94

学歴だろうと知識だろうと仕事の腕前だろうと、
お前らキモオタクがそういう承認欲求を満たそうとすると裏目に出るだけだぞ
表ではお世辞であしらわれて、裏ではチョロいとナメられるのがオチ

**デフォルトの名無しさん** · 2020/03/31(火) 23:24:14.95

トンデモを惹きつけてしまうのは Haskell の業
アイドルにストーカーがついてまわるのと抽象的構造が似ている
Haskell は高度知的アイドル型言語

**デフォルトの名無しさん** · 2020/04/01(水) 02:53:00.79

確かにこのスレは厄介に粘着されてるしアイドルっぽい

**デフォルトの名無しさん** · 2020/04/01(水) 02:57:48.54

地下アイドルの宿命だろう

**デフォルトの名無しさん** · 2020/04/01(水) 11:45:02.99

確かにここは地下アイドルスレみたいだな

**デフォルトの名無しさん** · 2020/04/01(水) 13:27:17.06

simulationライブラリで純粋な関数式プログラミングをする
ttp://x0000.net/topic.aspx?id=3631-0

UIライブラリ (C#, 2D) を作ったよ
ttp://x0000.net/topic.aspx?id=3688-0

学術巨大掲示板群: アルファ・ラボ
ttp://x0000.net

物理学化学数学生物学天文学地理地学
IT 電子工学国語方言言語学など

**デフォルトの名無しさん** · 2020/04/01(水) 18:26:51.54

そういえばsinもcosも地上の人に粘着されてたのを思い出した

**デフォルトの名無しさん** · 2020/04/02(木) 01:11:13.45

対偶と逆の区別もついてなさげな人の登場

**デフォルトの名無しさん** · 2020/04/02(木) 01:48:53.35

Haskellって技術書少ないよな
みんな何で勉強してんの？

**デフォルトの名無しさん** · 2020/04/02(木) 05:42:29.80

>>148

マイナー言語の割には多いと思うけど。

人気ランクが上のkotlinやclojure、elmは少ないし、同じぐらいの順位のprologやsmalltalkは新刊が出てなくて、昔出た書籍のほとんどが絶版している。

**デフォルトの名無しさん** · 2020/04/02(木) 06:21:32.55

技術書は英語圏の次に多いと思う。

**デフォルトの名無しさん** · 2020/04/02(木) 06:33:57.84

>>148
特別なことはなく、ネットや本で学んだよ
例えば

・Thinking wih Types
型レベルプログラミングを学んだ
https://leanpub.com/thinking-with-types

・Optics By Example
lensに代表されるopticsを学んだ
https://leanpub.com/optics-by-example

・Hexagonal architecture
Haskell & DDD でアプリを作るパターンの一つを学んだ
https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/

・Effect system
IOを安全に扱う方法を学んだ (正確にはモナドの合成を分かりやすく扱う方法)
DDDによるアプリ制作においてさっきのが戦略とすれば、こっちは戦術
http://okmij.org/ftp/Haskell/extensible/exteff.pdf
ライブラリもいくつかある

あと、Redditの投稿を追いかけていれば色々学べる
https://www.reddit.com/r/haskell/

と言うか、紹介しきれないほどの情報がネットに溢れているんだが

**デフォルトの名無しさん** · 2020/04/02(木) 15:08:36.64

情報収集のスキルは人それぞれでしょ
reddit はニッチなライブラリの質問とかリリース情報みたいなの多くね？
かったるくていちいち追ってられない

俺はそういうのは twitter にいる Haskell 賢人に任せている
これ面白いよ！って記事をフィルタして共有してくれるから、それ読んで勉強してる
ありがたやありがたや

**デフォルトの名無しさん** · 2020/04/02(木) 20:27:07.35

>>151
有益

**デフォルトの名無しさん** · 2020/04/03(金) 02:49:35.37

>>150
日本語の書籍の事だろ？
それは先ずない
ロシアが次点あとはドイツなんかも結構あるドイツは翻訳ばっかだが(´・ω・｀)

**デフォルトの名無しさん** · 2020/04/03(金) 07:10:48.62

技術書って入門書も含む？

**デフォルトの名無しさん** · 2020/04/03(金) 07:55:31.68

一切含まない

**デフォルトの名無しさん** · 2020/04/03(金) 08:28:58.50

おいおい

**デフォルトの名無しさん** · 2020/04/03(金) 09:31:03.42

>>154
日本以外にも翻訳文化はあるのね。
有名なのが翻訳されるのはわかるけど。

**デフォルトの名無しさん** · 2020/04/03(金) 16:45:57.10

日本の翻訳文化って外国語を自国語に取り込んじゃうのがすごいとかなんとかって話で、翻訳量自体は別にそれほどでもなかった気がする

**デフォルトの名無しさん** · 2020/04/03(金) 17:43:30.64

オーバーシュートω
ロックダウンωωω

**デフォルトの名無しさん** · 2020/04/03(金) 17:47:56.79

マジレスすると多分中国語が英語の次だろうな
場合によっちゃ英語より多いかもしれん
中国語の場合は入ってくるだけで出ていかないブラックホールだから実態が掴みにくい

**デフォルトの名無しさん** · 2020/04/03(金) 17:57:20.01

twitterでHaskellを薦められたので本気になった
https://www.si-ght.jp/entry/techandme-chiyoda02

**デフォルトの名無しさん** · 2020/04/03(金) 18:00:08.86

かわいいです

**デフォルトの名無しさん** · 2020/04/03(金) 18:57:42.55

はーい先生怒らないから犯人は正直に手を挙げなさい

>「プログラミング初心者なんですけど、何からやったらいいですか？
> 最近ようやくJavaScriptが少しだけ読めるようになってきた頃です」。
>
> そうしたら「JavaScriptなんて暗黒で恐ろしい言語はダメだ、純粋関数型言語であるHaskellからやった方がいい」みたいなことを言われました。

https://codezine.jp/article/detail/11885
> 「わからなかったけど、コードを書いて動かす楽しみと快感を覚えたんですよ。
> Haskellをもっと理解したいと相談したら、『圏論の基礎』という本を勧められました。
> でもその本も全然わからなかったんです（笑）」

**デフォルトの名無しさん** · 2020/04/03(金) 19:05:03.06

犯人オタクキモすぎてわろ

**デフォルトの名無しさん** · 2020/04/03(金) 20:09:26.90

初手マックレーンは草 ...ってか鬼畜
もっとこう RealWorldHaskell とかあるでしょ

**デフォルトの名無しさん** · 2020/04/03(金) 20:11:51.67

>>163
エンジニアの容姿を判定するのは無しだろうよ...
なんだ Haskell は、高潔なのは言語仕様だけか？

**デフォルトの名無しさん** · 2020/04/03(金) 22:34:37.28

Haskellってかわいいよね

**デフォルトの名無しさん** · 2020/04/03(金) 23:04:02.16

口うるさいBBAのイメージ

**デフォルトの名無しさん** · 2020/04/03(金) 23:36:38.26

学術的に進化してもらって
実用的な部分をメジャー言語が取り込んでくれればおk

**デフォルトの名無しさん** · 2020/04/04(土) 00:13:54.60

>>151
>例えば
テンプレ入

**デフォルトの名無しさん** · 2020/04/04(土) 08:53:29.14

>>167
haskellをチョイスするのが只のミーハーではない。

**デフォルトの名無しさん** · 2020/04/04(土) 14:52:35.68

むしろミーハーでもなんでも構わんのだけど、いち Haskeller が女性ってだけで
容姿を蔑んだり・持ち上げたりする連中がいるなら――もしいるのなら反省してほしい、と思った。

DSL を Freeモナドにするか、Tagless Final にするか、それぞれのメリットはなにか…
Haskeller はそういうことで悩んでいたいのであって、性別とかを理由に余計な荷物を背負わせるべきじゃない。
(ghc も依存している llvm はそういう辛さを避ける為に行動規範を定めているんだけど、いまのところまだ ghc には無いっぽい)
https://llvm.org/docs/CodeOfConduct.html

**デフォルトの名無しさん** · 2020/04/04(土) 14:56:51.64

>>169
個人的な Haskell のイメージは、なんかシュッとした紳士みたいな感じ
エラーメッセージは確かに、ともすると口うるさいw

**デフォルトの名無しさん** · 2020/04/04(土) 15:03:44.40

キモすぎて怖い…

**デフォルトの名無しさん** · 2020/04/04(土) 17:30:47.61

haskellでやり過ぎなほど徹底的に宣言性にこだわってプログラムする実験をしてみたが、なかなか面白いぞ。
手続き的になりがちなゲームプログラミングでやってみると特に。

**デフォルトの名無しさん** · 2020/04/04(土) 20:17:31.82

今から出会い系の女と会ってくるがやばいんか？

**デフォルトの名無しさん** · 2020/04/05(日) 00:47:08.63

Haskellスレってワードサラダbotに荒らされてるのか

**デフォルトの名無しさん** · 2020/04/05(日) 12:14:43.03

ちょまど洗脳されかけたんか
https://www.youtube.com/watch?v=v56Y7TJ1ih8
https://yoshiakikamiya.com/characteristics-of-new-employee-training-conducted-by-black-companies/
http://jibun-discovery.com/?p=1691

**デフォルトの名無しさん** · 2020/04/05(日) 12:26:37.15

>>177
感染がやばい
https://startyourenginebrrrrr.net/?p=1339
お気を付けて

**デフォルトの名無しさん** · 2020/04/05(日) 14:11:08.66

haskellでアクションって言葉よく出てくるけど定義なに？

**デフォルトの名無しさん** · 2020/04/05(日) 14:28:05.53

>>181
HaskellでActionという用語をみたことが俺はないけど、Haskell直系の子孫のPureScriptだと
型注釈の->の右辺にEffectがある関数をアクションと定義するそうだ。
EffectはHaskellでいうIOに対応すると思ってもらえたらいい。
ちなみに->の左辺にEffectがある関数をハンドラという。

-- アクション
throwException :: forall a. Error -> Effect a

-- ハンドラ
catchException :: forall a. (Error -> Effect a) -> Effect a -> Effect a

**デフォルトの名無しさん** · 2020/04/05(日) 19:12:11.35

>>176
レポジトリ教えて

**デフォルトの名無しさん** · 2020/04/05(日) 20:19:22.93

レポジトリって、サッポロ一番の新しい味？

**デフォルトの名無しさん** · 2020/04/05(日) 20:26:40.20

そうだよ

**デフォルトの名無しさん** · 2020/04/05(日) 21:28:22.97

レポジトレ教えて

**デフォルトの名無しさん** · 2020/04/06(月) 02:32:17.14

FRPは死滅しちゃったの？

**デフォルトの名無しさん** · 2020/04/06(月) 03:19:32.28

>>187
どういうこと？

**デフォルトの名無しさん** · 2020/04/06(月) 04:59:07.56

どういうことなの…

**デフォルトの名無しさん** · 2020/04/06(月) 05:06:41.75

むしろ>>188-189がどういうことなのかわからない

**デフォルトの名無しさん** · 2020/04/06(月) 09:29:24.23

CabalのドキュメントのSecure repository のところ、
root.jsonのkey idを省略するのはお勧めしないとか書いてるけど、
なにかしないといけないの？

**デフォルトの名無しさん** · 2020/04/06(月) 22:36:41.14

このスレにはHaskellerなんかいないということがよくわかるな