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

**デフォルトの名無しさん** · 2019/01/29(火) 09:05:47.90

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

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

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

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

data 宣言を別モジュールに分けて
両方が必要なら import ... as ... で別名をつけるって方法はどう？

**デフォルトの名無しさん** · 2019/10/18(金) 22:56:52.03

モナドを導入することで副作用のない
「副作用のチェーンをつくって渡す。」
ちなみに実行は副作用させるというバカみたいなレトリックを実行してるだけ。
バカはそういうものをありがたがるんだよ。
そしてそういうものをありがたがるというのはバカみたいに本質なんだな。

**デフォルトの名無しさん** · 2019/10/18(金) 23:39:51.57

モナドのごとく回りくどく分かりにくい文だな

**デフォルトの名無しさん** · 2019/10/19(土) 00:07:09.37

>>575
Haskellは個人の趣味・自己啓発の道具の範疇なので
参考にならないでしょうが…

名前がかぶるのはどこか機能がかぶってたりするかなと
型の使い方を見直したり組み合わせる関数を見直したり
所属するモジュールを移動したりとか。

どうしても名前がかぶるってときは英語名や日本語名
ときには中国語とかも借用する（ただし英字を使う
ローマ字やピンイン表記）か密接に関係する事柄の
接頭辞をつけてる。

**デフォルトの名無しさん** · 2019/10/19(土) 00:15:25.34

>>580
モナドで副作用・副作用もどきを扱えるけど
モナドの全てが副作用・副作用もどきを伴う
わけではないでしょ。

リストもMaybeもEitherもモナドとして扱う
定義はされているが別にそれをつなげても
副作用があるわけでなし。

**デフォルトの名無しさん** · 2019/10/20(日) 21:44:47.02

非決定計算やIOが同じモナドというククリで実現できるのが大変興味深いです

**デフォルトの名無しさん** · 2019/10/20(日) 23:54:14.30

なぜそんなにお前らがモナドについてあーでもないこーでもないと話し合ってるのかがわからない
モナドなんていたってシンプルな考え方なのに

モナドなんて単純にどうやって関数を合成するかというルールにすぎない
より正確には、「モナディックな関数」を合成するルール

では、モナディックな関数とは？それは"装飾された値"を返す関数のこと。
どんな装飾が施されたかについては、文脈によって様々だが、たとえば…

・エラー -> 失敗を表すデータもとりうる値 MaybeとかEither Error
・非決定性 -> いくつもの値を同時に表す値 List, Array
・副作用 -> 副作用自体を表すデータ Effect, Aff
・状態を扱う -> 状態を表すデータとセットになった値 Reader , Writer, State

**デフォルトの名無しさん** · 2019/10/21(月) 00:25:00.67

シンプルな考え方合成ルールといいつつ
肝心のルールの中身を説明しないで
利点や応用分野のみ紹介する
典型的な日本人話法

モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

**デフォルトの名無しさん** · 2019/10/21(月) 00:50:05.83

いやだから装飾のされ方は物によって様々だって言ってるじゃん
ルールの中身も当然装飾のされ方によって様々なんだから画一的に述べられないってわからないか？

一つ言えるのはbindとpureの定義を与えるってことくらいだが
あるいは同値な定義だが、関手であることを要請した上でjoinとreturnを与えるのでも構わない
数学者のモナドの定義を述べているお前ならこっちのほうが好みかもな

**デフォルトの名無しさん** · 2019/10/21(月) 11:02:55.47

「自己関手の圏」の中身を説明しないからわけがわからない
関手の合成は積？
恒等関手は単位対象だが終対象ではない？
うっかり始対象になったりしたらそれ積じゃなくて和じゃないか

**デフォルトの名無しさん** · 2019/10/21(月) 12:39:15.34

中身は数学で明示されてるのでは

**デフォルトの名無しさん** · 2019/10/21(月) 14:07:32.87

自己関手の圏におけるモノイド対象としてモナドを理解することは、必ずしもプログラミングのためになるものではないから必須ではない。

それでもそれを理解したいのであれば、プログラミングの文脈で理解するのではなくて、ちゃんと圏論の文脈で理解した方がいい。
Bartosz MilewskiのCategory theory for programmerがわかりやすくておすすめ。

**デフォルトの名無しさん** · 2019/10/21(月) 14:17:03.91

【僕用メモ】

・bind と pure の定義を与える
・関手であることを要請した上で join と return の定義を与える

両者は同値である。

**デフォルトの名無しさん** · 2019/10/21(月) 14:44:27.76

だめな理系人間の特徴
初学者に対してひたすらwhatを説明
だいたいコミュ障を併発してる

**デフォルトの名無しさん** · 2019/10/21(月) 14:53:31.64

この人のことか
http://masa-lab.hateblo.jp/entry/2019/02/01/110041

**デフォルトの名無しさん** · 2019/10/21(月) 15:19:59.07

>>593
そうでもなくね？っていうか内容がHaskellに関係なかったw

**デフォルトの名無しさん** · 2019/10/21(月) 15:38:45.76

お前らって圏論なにで勉強したの
英語の本読んだの？大学の授業とかで習ったの？

**デフォルトの名無しさん** · 2019/10/21(月) 15:49:09.35

数学の本買って独学

**デフォルトの名無しさん** · 2019/10/21(月) 16:22:57.20

知らん用語が出て来るから初学者で戸惑う人が多いだろうが
内容は小学生でも理解出来るレベル

**デフォルトの名無しさん** · 2019/10/21(月) 16:52:11.20

Basic Category Theory, Tom Leinster　
英語で読んだ

◆QZaw55cn4c · 2019/10/21(月) 22:01:25.88

>>598
翻訳でもない和書ってありませんかね…

**デフォルトの名無しさん** · 2019/10/22(火) 02:26:17.25

>>595
数学教室 πの焼き方と、プログラマーのための圏論。
ただ、読んだ後に意味を吟味して閃きが必要だった。

まず普通の関数とモナドな関数を同じと見做す考え。

IOモナドの入力は基本、文字列を受け取るので数文字列を受け取って、整数に変換後2倍する関数を作るとする。

getLine >>= \s -> return $ 2 * read s

これと同じ効果の普通の関数を作ってみる。

getLine’ s = 2 * read s

このgetLineとgetLine’をそれぞれ部分適用で見かけの変数を減らす形に変形。

getLine >>= return.(2*).read

getLine’ = (2*).read

この場合、2つの関数は型と引数からの入力か入力装置からの入力かしか違いがない。
関数の中身から見れば、いつ、どんな文字列が来るか分からない。同じ数文字列が来たら同じ結果を返すと言う意味では同じと見なせる。

**デフォルトの名無しさん** · 2019/10/22(火) 02:26:29.61

そして、圏論の主張は変数は引数無しの関数でも有ると言う事。
以下は関数である。

f x = 2 * x

しかし、部分適用されたカリー化関数は関数でもあり、変数でもある。

f = (2*) (関数でもあり、関数という値を返す変数でもある)

すなわち、x = 1のようなただの変数も、つねに1を返すxと言う引数の無い関数と見なせる。

x = 1 (1と言う値の入った変数であり、常に1を返す引数無しの関数でもある)

Haskellでは表現できないものの、さらに言えば数そのものも圏論では値であり、変数であり、関数である。
単純に書くと以下の通りだが、

1 = 1

ペアノの公理(ペアノ数)を使った方が概念的に分かりやすいかも知れない。

data Nat = Zero | Succ Nat

1 = Succ Zero

**デフォルトの名無しさん** · 2019/10/22(火) 03:15:18.03

ちぃOrdの使い方覚えた

https://ideone.com/LForVF

**デフォルトの名無しさん** · 2019/10/22(火) 07:00:59.60

>>590
youtubeにある彼のビデオレクチャーも良いよ

**デフォルトの名無しさん** · 2019/10/22(火) 11:37:49.35

モノイドのところがよくわからんかったけど読み物として面白かった
https://chrispenner.ca/posts/wc

**デフォルトの名無しさん** · 2019/10/22(火) 13:56:22.87

>>604
ちょっと待て
モノイドのところが一番の肝で面白い部分だろ

**デフォルトの名無しさん** · 2019/10/22(火) 21:21:34.69

>>601
>数そのものも圏論では値であり、変数であり、関数である。

もしその様な表現が可能な拡張がされた場合何が起きる出来るんですか？
数値に新規の型を設定して値で変数で関数みたいな扱い出来ないかな

**デフォルトの名無しさん** · 2019/10/22(火) 21:31:09.36

圏論うろおぼえだけどそれって圏論の範疇だっけ？
圏論ってマッピングする理論であってその対象が値か関数か変数か関知しないのでは？
値が関数ってのはラムダ計算から来るものでしょ
確かにそれらを組み合わせて計算理論になるわけだけど

**デフォルトの名無しさん** · 2019/10/23(水) 02:22:17.73

>>601
お前が圏論を全く理解していないことは良くわかった

圏論には「関数」とか「値」とか「変数」といった概念はない
「対象」と「射」との２つの概念があるだけだ

だからお前の次の

＞数そのものも圏論では値であり、変数であり、関数である

これは単なる間違いさえ通り越して全くのナンセンス
圏論には値も変数も関数も存在しないのだから

何を対象として何を射とするかは個々の具体的な圏によって異なる

**デフォルトの名無しさん** · 2019/10/23(水) 02:25:20.92

>>608
ああ、ちょっと簡単に書きすぎたね
確かに関手

**デフォルトの名無しさん** · 2019/10/23(水) 02:29:17.74

>>609は書いてる途中で間違って送信してしまった

>>608
ああ、ちょっと筆（じゃなくてキーボード）が滑って簡単に書きすぎたね
確かに関手とか自然変換といった概念も圏論にはあるが、これらもある圏から見れば射や対象に過ぎない

いずれにしても圏論には値や関数や変数といった概念はない

**デフォルトの名無しさん** · 2019/10/23(水) 03:34:04.69

では何らかの制限がないと取り扱いが難しいよね
例えば英語と日本語の翻訳で使われる意味を咀嚼変換するロジックを圏論だと言われたら
なんか凄く難しそうだなとか

**デフォルトの名無しさん** · 2019/10/23(水) 07:48:02.01

別に集合論だって写像の集合を考えればいいわけでそんなのは圏論を持ち出さなくても十分
重要なのは圏論は写像の合成(関数合成)を抽象化して扱う理論だということで
だからこそa -> IO bを射とする圏を作れればそこでの射の合成方法は普通の関数合成と同じように扱える
で実際にIOはクライスリトリプル(Monadのインスタンス)を定義できるからa -> IO bを射とするクライスリ圏が定義できる

**デフォルトの名無しさん** · 2019/10/23(水) 15:46:04.24

質問です。
当方数学科卒で学生時代圏論は死ぬほど使ってました。
しかしアーベル圏という純数学的なお話知ってるだけで、計算論に応用する話は全く勉強した事ない状態です。
そういう人間が圏論の計算論への応用を勉強したいときオススメの教科書、参考書は何かご存知ですか？
抽象圏論や数学基礎論も少しかじった事があるのでその手の話が出てきてもあまり困る事はないと思ってます。

**デフォルトの名無しさん** · 2019/10/23(水) 18:37:44.76

そこまで圏論に詳しいなら逆に世の中の有象無象の情報処理の実態を
見て新しい提案ができるんじゃないかと思うけどどう？

**デフォルトの名無しさん** · 2019/10/23(水) 18:48:53.05

型推論とモナドがわかったら解散でいいじゃん
だらだら続けるとサンクコストが増える

**デフォルトの名無しさん** · 2019/10/23(水) 20:01:33.78

浮動小数演算みたいなある種のモナド則が成り立たんものを考えると、
逆にモナド則のありがたさがわかる。
そんな程度で十分だよ。

**デフォルトの名無しさん** · 2019/10/23(水) 22:29:52.97

どちらかと言えば、モノイドの方が役に立つ

**デフォルトの名無しさん** · 2019/10/23(水) 22:51:28.42

浮動小数点のモナド？
モナド則の結合律っぽい奴は普通の関数で言うなら
f (g x) == (f . g y) x を要請してるのであって
f,gの計算には依存しないから浮動小数点が破壊することはないよ

**デフォルトの名無しさん** · 2019/10/23(水) 22:55:47.94

ミス f (g x) == (f . g) x だった

**デフォルトの名無しさん** · 2019/10/24(木) 01:14:02.96

f x = x / 0.3
g x = x * 0.3

**デフォルトの名無しさん** · 2019/10/24(木) 01:19:57.43

ghci でやってみたら循環小数にならなかった。macOSの電卓でも。
へぇ～。

**デフォルトの名無しさん** · 2019/10/24(木) 01:57:21.20

>>613
> そういう人間が圏論の計算論への応用を勉強したいときオススメの教科書、参考書は何かご存知ですか？
> 抽象圏論や数学基礎論も少しかじった事があるのでその手の話が出てきてもあまり困る事はないと思ってます。

理論計算機科学（以下、TCSと略）への圏論の応用を勉強したいのならば、最もベーシックなテキストとしては

1. Andrea Asperti & Giuseppe Longo: Categories, Types, and Structures, 306+xii pp., MIT Press (1991)
型理論として単純型付きλ計算と２階の型付きλ計算それぞれに対する圏論的意味論を議論している他、
型無しλ計算の意味論を展開する上で不可欠な再帰的領域方程式とその解に対する圏論的な見方も解説している。
更にHaskellなどで喧しいモナドやKreisel圏についても解説している。（関数プログラミング言語へのモナドの応用は
本書の著者の１人であるLongoの論文から全てが始まった）
この本の最大の欠点は誤植がとても多いことと昔のMacで書かれていてテキスト中の数式も図も美しくないことだ。
なお、現在は書籍としては品切れになっていたと思うが、著者のHPから電子的に無料で入手可能になっていたはずなのでネットで探して下さい。

2. Roy L. Crole: Categories for Types, 335+xvii pp., Cambridge University Press (1993)
様々な型理論（型理論は(関数)プログラミング言語とその型システムを形式的体系としたものと考えて良い）に対する圏論的意味論を議論している。

3. 横内寛文：プログラム意味論，261+vi pp.，共立出版 (1994)
久しく品切れになっていたが少し前に増刷されたので現在はジュンク堂などの大型書店などの店頭で買えるはず。
表示的意味論、型無し・型付きλ計算、領域理論、関数型言語の意味論について１つずつ章を設けて解説した後、この本で必要とする圏論の解説がされ、
プログラミング言語の表示的意味論で必須の再帰的領域方程式とその解法に対する圏論からのアプローチと
λ計算の意味論としてλモデル・λ代数・圏論的モデルとしてのCCC（デカルト閉圏あるいは積閉包圏）について解説している。

この他にもTCSへの圏論の応用としてはオートマトン理論への応用や代数的仕様記述言語の意味論への圏論の応用
（こちらの意味論ではデカルト閉圏は使われない）などがある。

**デフォルトの名無しさん** · 2019/10/24(木) 02:41:27.79

>>622訂正と補足

まず1に関する説明中の次の箇所を訂正します。つい筆が滑ってKleisliをKreiselと書いてしまった。

誤> 更にHaskellなどで喧しいモナドやKreisel圏についても解説している。（関数プログラミング言語へのモナドの応用は
正> 更にHaskellなどで喧しいモナドやKleisli圏についても解説している。（関数プログラミング言語へのモナドの応用は

それから、

> なお、現在は書籍としては品切れになっていたと思うが、著者のHPから電子的に無料で入手可能になっていたはずなのでネットで探して下さい。

と書いたが、無料の電子版は著者の一人であるLongoの次のURLよりPDFファイルの形で配布されている。

https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

**デフォルトの名無しさん** · 2019/10/24(木) 09:09:56.34

>>618
浮動小数においては
(a+b)+c != a+(b+c)
なんだよ。

**デフォルトの名無しさん** · 2019/10/24(木) 19:35:38.99

>>624
だからこそ「モナド則の結合律のこと言ってるの？あれは関数合成的な話だから関係ないよ」
って言ってるんだけど
ああもしかして>>616は結合律一般について言ってるのか？
それならアスペみたいなこと言って悪かった
いやまさか四則演算の結合律の便利さから
printFile file = readFile file >>= putStrLn
printFile == readFile file >>= putStrLn
になることの利点を理解しろという主張だとは思わなかったからさ・・・

**デフォルトの名無しさん** · 2019/10/24(木) 19:42:56.62

いやモナド則で語ることなんて結合律以外ないだろ。。
結合律を無条件で仮定できる状況がどれほど負担を減らすかって話なんだが
ここまでバカな絡まれ方するとは思わなかった。

**デフォルトの名無しさん** · 2019/10/24(木) 19:50:34.49

ああ、printFile file == readFile file >>= putStrLn だった
しかもそれも誤解しか生まない表現で
要はreadFile file >>= putStrLnをprintFileで置き換えても問題ないってことを言いたかったんだけど
いやほんと5ch向いてないね

**デフォルトの名無しさん** · 2019/10/24(木) 20:08:28.59

>>627
なんか、あんたは気持ち悪いね

**デフォルトの名無しさん** · 2019/10/24(木) 20:16:05.76

>>626
いやほんと頭が悪くて申し訳ない
「足し算の結合律って便利でしょ？モナド則も結合律だから便利なんだよ」
こんな糞みたいな主張をする人間が世の中にいることぐらいは分かっておくべきだった

**デフォルトの名無しさん** · 2019/10/24(木) 20:22:28.52

単位元を語ってもええんやで

**デフォルトの名無しさん** · 2019/10/25(金) 04:29:07.52

>>629
前提として「足し算の結合律って便利だね」
じゃ足りないの
何が不足なのかな
副作用をモナドの結合連鎖外に及ぼさない事による恩恵が主目的じゃないの？
とくにマルチスレッドコア環境だと色々有難いよね
モナド連鎖の組み合わせとか組み替えとかがスカッとできてイイ！とか
連鎖の中で起きたエラーのリカバリーとかはよくわからん

**デフォルトの名無しさん** · 2019/10/25(金) 08:07:43.53

>>631
モナドが実際の所どれぐらい便利なのかは分からないけど
(m >>= f) >>= g == m >>= (\x -> f x >>= g)
が言ってることは単純なんだよ
>>=が普通の関数呼び出しのように使えるというだけ
$(普通の関数呼び出しを演算子化したもの)の場合を考えれば分かりやすいかな
g $ (f $ x) == (\y -> g $ (f $ y)) $ x
関数と値の引数が$と>>=では逆だから両辺が逆向きになってるけど
要するに二つの関数を一つの関数まとめても構わないという
誰もが当たり前にやってることの理論的基盤を>>=にも要請してるというだけなんだよ
だから getLine >>= printFile と getLine >>= readFile >>= putStrLn
が同じだと言うためにはこの結合律を満たさなきゃならない
ちなみに二個以上の関数をまとめ上げる場合や多引数の場合もこれで証明できる

**デフォルトの名無しさん** · 2019/10/25(金) 08:33:13.53

>>632
モナドの条件が成立すると色々便利な事は認識している
端緒の認識はそれで問題ないと思ったけど
便利だよねって見解が
>こんな糞みたいな主張をする人間が世の中にいることぐらいは分かっておくべきだった
って言われて、え？え？何かマズイ理解なり認識があるのか??
何がマズいのかワカラン??って感想
単純に罵倒してマウント取りたかっただけなら問題ない

**デフォルトの名無しさん** · 2019/10/25(金) 09:19:09.32

>>624見たとき何言ってんだコイツと思ったが案の定ボコされてて安心した
論理的な思考ができない人間って怖いわ

**デフォルトの名無しさん** · 2019/10/25(金) 11:27:36.73

>>624
>浮動小数においては
>(a+b)+c != a+(b+c)
>なんだよ。
まるめ誤差を考慮すればだけど
浮動小数点を引き合いにだして!=だってやった事か

**デフォルトの名無しさん** · 2019/10/25(金) 18:07:06.47

>>633
そこは売り言葉に買い言葉だったんじゃねーの。
俺は雑な主張はアリだと思うし、それに対する善意の解説もいいと思うぞ

**デフォルトの名無しさん** · 2019/10/25(金) 18:15:13.95

>>633
三段論法的なのが糞だって言ってるだけでその部分は別に間違ってないよ
まあマウンティングするつもりはないんだが
曖昧なこと言っといてそれについて意見したら「バカに絡まれた」なんて
そりゃ感情的にもなるよ確かに大人げないけどさ

**デフォルトの名無しさん** · 2019/10/25(金) 18:32:47.40

>>636
そう言ってくれるなら嬉しい限りだけど
最初のレスから反省する点が多すぎるのでもう消えます
スレのみなさんご迷惑をおかけしました😿

**デフォルトの名無しさん** · 2019/10/25(金) 19:57:54.15

まあかなり意地の悪い例を出したつもりではあったけどね。
「論理的思考」とか言い出す輩が引っかかりそうな例を。

**デフォルトの名無しさん** · 2019/10/25(金) 20:50:12.32

どうでもいいけど「論理的アルゴリズム」だったら簡単にコピーできそう
アルゴリズムとパラダイムの違いの一つは、コピーする自由

**デフォルトの名無しさん** · 2019/10/26(土) 00:21:14.14

モナドの話してる中で一人結合則全般についての話始めて浮動小数点数に関する当たり前の説明せっせとしてんのは草
小学校で習う掛け算も足し算もモナドみたいに便利だけど浮動小数点数はモナドと違って不便だねえ

**デフォルトの名無しさん** · 2019/10/26(土) 10:10:55.84

最近近隣スレで浮動小数点数で恥ずかしい書き込みを繰り返してる香具師を観かけたが
きっとCS知らない浮動小数点数覚えたての厨房が暴れてるんだろう

**デフォルトの名無しさん** · 2019/10/26(土) 10:22:10.08

素人なので確認したい
浮動小数点演算は計算式の組み替えによって生じる
計算ごとの丸め誤差とその蓄積が一意ではない
そこが問題。でいいですか？

**デフォルトの名無しさん** · 2019/10/26(土) 12:52:46.96

例えば、3桁の有限桁数で、

123,000 + 987 は、どうなると思う？w

**デフォルトの名無しさん** · 2019/10/26(土) 13:03:31.77

>>644
浮動小数点は実装の有効桁数とか精度誤差の複合なんですね
やっと理解できたとかも

**デフォルトの名無しさん** · 2019/10/27(日) 09:39:17.43

>>644
>123,000 + 987 は、どうなると思う？

合成や結合則との関係は？

**デフォルトの名無しさん** · 2019/10/27(日) 12:11:44.86

ヒント
(123000 + 987) + 456
123000 + (987 + 456)

**デフォルトの名無しさん** · 2019/10/27(日) 12:20:50.14

>647
有効桁数３の条件下では
443
443
で結合則？を満たしている

**デフォルトの名無しさん** · 2019/10/27(日) 14:13:05.51

>>647
ヒントなどと気取らず最初からその例を出せばいいのに…

>>648
整数計算で有効桁数という考え方はあまりしないとおもうし
計算途中の有効桁数範囲外の取り扱いを決めておかないと
なんとでも言えるような。JISにあったかな？

**デフォルトの名無しさん** · 2019/10/27(日) 20:56:25.06

>>649
最初からも何も最初言ったの俺じゃないし誰でも気づくだろ

**デフォルトの名無しさん** · 2019/10/28(月) 15:11:56.47

恥の上塗り

**デフォルトの名無しさん** · 2019/10/31(木) 16:11:16.19

最近のHaskellは末尾再帰形は当たり前として、余再帰形まで最適化するってマジ？

**デフォルトの名無しさん** · 2019/10/31(木) 19:47:56.88

モナドの話すると怒る人が一定数いるのに
最適化の話は難解でもすんなり受け入れられるのなんでだろう

**デフォルトの名無しさん** · 2019/10/31(木) 19:53:32.58

>>653
モナドとか関係なくあまりに馬鹿っぽいレスが怒られるだけ
例えば>>653もそう

**デフォルトの名無しさん** · 2019/10/31(木) 20:01:53.96

年寄りが自分の理解できないことをしゃべるなって
いっているだけでしょ。最適化はなんだかんだいっ
て実践もしくはなんとか理解できる範疇とかでは。

**デフォルトの名無しさん** · 2019/10/31(木) 20:08:46.83

例えば「馬鹿っぽい」の定義はモナドの定義よりもずっと複雑なんだよ
そのわりに「馬鹿っぽい」は難解すぎるという認識はほとんどない

**デフォルトの名無しさん** · 2019/10/31(木) 21:33:19.89

Haskellや圏論のモナドってライプニッツ由来？ギリシャ哲学由来？

**デフォルトの名無しさん** · 2019/10/31(木) 22:15:10.01

モナドの場合、「俺の理解は正しくて、お前の理解は間違ってる」てな話になりがちだから。

**デフォルトの名無しさん** · 2019/11/02(土) 11:54:49.10

>>622
お返事おくれて申し訳ありません。
時間作って是非挑戦みたいと思います。
ありがとうございました。

**デフォルトの名無しさん** · 2019/11/02(土) 21:23:26.95

【ぼくようメモ】

Haskellはマルチディスパッチをネイティブサポートしているので、
デザインパターンの一つ、Visitorパターンを気づかない内に使っている。

**デフォルトの名無しさん** · 2019/11/02(土) 22:57:22.40

Haskellを勉強するとどんなメリットが有りますか？

① Haskellを使って仕事する開発プロジェクトなんてものは世の中に有るのですか？
② ①が無いなら開発プロジェクトが無くても仕事の効率化などで、役立てる方法は有るのですか？
③ ②も無いなら、勉強して得た知識を日々のJava等の開発プロジェクトで役立てる方法は有るのですか？

**デフォルトの名無しさん** · 2019/11/02(土) 23:45:55.62

3かな。
コード書く際に
入出力部分と、ディターミニスティックな部分を選り分けるような書き方するようになった。

**デフォルトの名無しさん** · 2019/11/03(日) 00:23:07.97

>>661
世界に目を向ければ、Reddit でよく求人されてる

**デフォルトの名無しさん** · 2019/11/03(日) 07:05:59.77

>>662
>ディターミニスティック
？？
基本遅延評価なので即時評価とのより分？

**デフォルトの名無しさん** · 2019/11/03(日) 07:44:37.10

>>664
ディターミニスティック
決定論的な

IOが絡む非決定論的なコードと、引数と戻り値の関係が決まっている決定論的なコードとを、
しっかり分けて書けるようになったと言いたいのだろう。

要するに、副作用のあるコードと純粋なコードを分けるということだ。

**デフォルトの名無しさん** · 2019/11/03(日) 10:14:27.60

女心と秋の空はデバッグするのが難しいってことだ

**661** · 2019/11/03(日) 12:44:26.49

皆さんありがとうございます。

どうやら、あまり勉強する意味がなさそうに感じました。
なぜみなさんはこの言語をおやりになっているのでしょうか？
趣味でしょうか？

**デフォルトの名無しさん** · 2019/11/03(日) 12:48:35.08

まあ勉強する意味はないといえばないかな。
その当時盛り上がったってのが理由だったりするから趣味といえば趣味。
でもまあその言語がどういうところを気にして作られたかってのを
触って実感するってのはプログラム全般で役に立つと俺は思うけどね。

**デフォルトの名無しさん** · 2019/11/03(日) 13:13:12.24

Javaから初めて、Javaしか書いたことが無い人というのは再帰メソッドとして実装した方が良いものも、慣れていないし面倒くさいからという理由で再帰にしたがらない傾向が有ります。
Hakellを勉強した人間なら、そういうことが起こらないという利点が有るといいうことでしょうか？

**デフォルトの名無しさん** · 2019/11/03(日) 14:27:23.33

将棋の居飛車党と振り飛車党みたいなもん

**デフォルトの名無しさん** · 2019/11/03(日) 14:42:14.64

ループより再帰がいつも正しいわけではないでしょ
Javaなんだし
おれが仕事でやってるプロジェクトでは再帰は基本NGだよ

**デフォルトの名無しさん** · 2019/11/03(日) 15:00:10.66

ループと末尾再帰は等価(キリっω

**デフォルトの名無しさん** · 2019/11/03(日) 15:01:32.59

haskell学んでも、stack safeな再帰を書けるようになるわけでもないから、
haskellを学ぶ利点だとは思わない

理由を探さなきゃ学ぶ気になれないものには手を出さなければいいんだよ
CSの世界に限っても死ぬまでに学びきれないだけのネタがあるんだし

**デフォルトの名無しさん** · 2019/11/03(日) 16:32:47.09

『達人プログラマー』でも「毎年1つ新しい言語を学べ」と言っている
まあ凡人にそこまでは厳しくとも
たまに新しいプログラミング・パラダイムに触れることは
プログラマーにとって有益であると思うよ
それは知識として即効性のあるものというよりは(そういうのもあるかもしれないが)
1年2年経って効いてくるタイプのものかなと

**デフォルトの名無しさん** · 2019/11/03(日) 18:49:00.94

>>661
②かな
宣言的プログラミングの作法が身につく

普段Javaを使っているのなら、
最近のJavaは関数型プログラミングのシンタックスがかなり増えてきているので
Haskellで高階関数の使い方を理解しておくと、Javaプログラミングに直接的に役立つ

**デフォルトの名無しさん** · 2019/11/03(日) 19:10:14.85

宣言的プログラミングとは何ですか

**デフォルトの名無しさん** · 2019/11/03(日) 20:02:00.41

横レスだけど、そんなに役に立たないものなのか．．．
入門本買おうか悩んでたのに

**デフォルトの名無しさん** · 2019/11/03(日) 20:22:26.22

>>665
副作用ですか
Cのポインター辺りは副作用上等でトリッキーな事をしつつ記述してあるわけで
副作用と脆弱性に苦しんだ結果、RUST

Haskellの恐ろしい所はプログラムが何らかの高度な数学的アルゴリズムな場合があって
別途資料がないと全く理解できない
あっても以下略

**デフォルトの名無しさん** · 2019/11/03(日) 20:59:17.59

>>670

プロの世界では振り飛車は居飛車より勝ちにくいと言われますが、久保九段や菅井七段のようにそれを使って実践で勝つプロもいます。
アマの世界では振り飛車か居飛車かが直接勝敗に結びつくような高度な戦いができないので好きな方を選べばいいです。

ところが、ビジネスプログラミングの世界ではどうでしょうか？
残念ながら、手続き型プログラミング言語の開発プロジェクトしか存在しません。
関数型は使おうにも使う場所が無いのです。