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

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

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

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

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

**デフォルトの名無しさん** · 2024/10/05(土) 15:10:26.09

圏論の話題出すなよ
Haskellで何か書くにあたって利益があるわけじゃないんだから

**デフォルトの名無しさん** · 2024/10/05(土) 15:30:46.49

利益は道徳よりも軽い
これも、未来予知ができなければ利益を計算できないことに原因がある

**デフォルトの名無しさん** · 2024/10/05(土) 17:25:54.13

>>521
役に立つなら、もっと色々入ってるかと…。

私はむしろHaskellより圏論そのものに興味の対象が移って、Haskellは圏論の概念を実際に動かしてみるための道具に成り下がってますね＾＾；

とはいえ、数学の知識不足なので群論やらトポロジーやらあっちこっち読み漁りながらなので、歩みは遅いですが…。

**デフォルトの名無しさん** · 2024/10/05(土) 20:22:21.95

>>527
面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします

**デフォルトの名無しさん** · 2024/10/05(土) 20:30:18.78

集合と写像の区別もついてないんだから、集合と位相からやらないとだめ

**デフォルトの名無しさん** · 2024/10/05(土) 22:07:16.25

>>528
ありがとうございます。
手探りだったので、助かります。
重点的に勉強してみます。
（高卒にどこまで理解できるか…）

>>529
一応、区別付いてるつもりなのですが…。
指摘していただければ調べてみます。

**デフォルトの名無しさん** · 2024/10/05(土) 22:16:56.83

>>530
あー上で暴れてた人とは別人だったのね
でも、集合と位相は何をやるにしても必要だから頑張ってね

**デフォルトの名無しさん** · 2024/10/05(土) 23:30:55.73

>>373=396=530 っぽいから言うと、(数学に関して)「分かった」「理解した」の自己基準が不安しかない

> ほら、分かってみれば「なーんだ。そんなことか」でしょ？
> なるほど、って感じ。
と自分に言い聞かせていても、ポピュラーサイエンス書感覚で読んだってダメ

他人との議論では、逆に「こいつ分かってないな」と思われるだけだからな

**デフォルトの名無しさん** · 2024/10/05(土) 23:50:06.63

>>532
独学ですしね＾＾；
こいつ分かってないなと思われても良いですよ？
それで指摘されたものも新しい知識になるので。

どうも定義を読むだけじゃイメージ湧かないので、ネット上や数学書の複数の例え話が全て真だと仮定して、共通の特徴からイメージを掴むパターンが多いんです。

**デフォルトの名無しさん** · 2024/10/06(日) 01:53:03.98

いま正常性バイアスを理解した
全て正常だと仮定する
なるほど

**デフォルトの名無しさん** · 2024/10/06(日) 10:54:18.58

本来Haskell使う上で必要のない数学の知識をかじらされるのかわいそう
こうやって無駄に間口狭めてなんの意味があるんだか

**デフォルトの名無しさん** · 2024/10/06(日) 11:09:45.81

>>530に関しては同情すんな
>>373前後で煽っておいて炎上勉強法してる

**デフォルトの名無しさん** · 2024/10/06(日) 12:50:07.74

>>535
だから、具体例をかじることなく一般圏論でやめておこうって言ってるじゃないか
バランスを考えて妥協するとはそういうことだ

**デフォルトの名無しさん** · 2024/10/06(日) 13:58:19.62

まず圏論が必要ないっての

**デフォルトの名無しさん** · 2024/10/06(日) 14:19:17.49

それは極論だがそれを許容する代わりに反対側の極論も許容してもらう
ダブルヘイターとは違うのだよ

**デフォルトの名無しさん** · 2024/10/07(月) 16:51:22.87

>>539
君頭悪いなら無理に書き込まないほうがいいよ

**デフォルトの名無しさん** · 2024/10/08(火) 16:34:43.77

圏論好きはHaskellよりCPLで幸せになれる

**デフォルトの名無しさん** · 2024/10/08(火) 19:19:24.66

>>529
集合と写像って違うんですか？写像って集合ではなかったですか？

**デフォルトの名無しさん** · 2024/10/08(火) 19:24:10.23

>>541
CPLとは？ｋｗｓｋ

**デフォルトの名無しさん** · 2024/10/08(火) 19:35:49.07

>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ

**デフォルトの名無しさん** · 2024/10/08(火) 20:00:43.25

>>544
なるほど。勉強になります。

**デフォルトの名無しさん** · 2024/10/08(火) 20:58:36.65

>>543
CPL (圏論プログラミング言語)
https://ja.m.wikipedia.org/wiki/CPL_(%E5%9C%8F%E8%AB%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E)

**デフォルトの名無しさん** · 2024/10/08(火) 21:59:10.54

CPL使ったことは一度もないが
関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ

**デフォルトの名無しさん** · 2024/10/08(火) 23:08:48.38

こんなんだけど

>通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない.
>また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない.

**デフォルトの名無しさん** · 2024/10/09(水) 00:11:45.00

O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。

**デフォルトの名無しさん** · 2024/10/09(水) 20:31:07.90

>>546
Thenks！！

**デフォルトの名無しさん** · 2024/10/12(土) 20:07:00.42

初心者はStack、ガチムチはCabalで開発するんですか？

**デフォルトの名無しさん** · 2024/10/15(火) 05:30:10.38

みんなStackだよ
Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし

**デフォルトの名無しさん** · 2024/10/15(火) 22:34:15.38

詳しい情報サンクス
CabalやめてStackに帰ります
GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします

**デフォルトの名無しさん** · 2024/10/16(水) 05:04:51.74

ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました
やっぱStackすわ

**デフォルトの名無しさん** · 2024/10/18(金) 18:33:56.50

別に不具合あったわけじゃないならよくね
みんなとか言い出したらそもそもみんなhaskellなんか使ってないが

**デフォルトの名無しさん** · 2024/10/25(金) 23:46:50.40

Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？
Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった
その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい
あるいは最近の書籍でよりおすすめというものでも

警備員[Lv.3][新芽] · 2024/10/25(金) 23:58:48.00

ちょっと古い情報だけど、
僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような
いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合

**デフォルトの名無しさん** · 2024/10/26(土) 01:14:59.65

>>556
ラムダノートのプログラミングHaskell第2版
これを読めばモナドの使い方がわかる

**デフォルトの名無しさん** · 2024/10/26(土) 13:33:26.33

モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか

**デフォルトの名無しさん** · 2024/10/26(土) 14:33:50.42

ない
別に理論的な部分はすっ飛ばしていいよ
純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい
全てはdo記法にため

**デフォルトの名無しさん** · 2024/10/26(土) 18:20:45.25

>>559
だったらCleanはどうでせう？
モナドの代わりに線形何たらっての使ってる。

副作用関数を使い捨て関数と捉える概念らしいけど…。

変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。
んで、

return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2

は

return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1)))

と解釈されて、(\x -> ...) 部分が１個のラムダ式（関数）の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。
（そして隠されたら他から参照されなくなるのでGCでメモリを解放される）

IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。

**デフォルトの名無しさん** · 2024/10/28(月) 07:23:18.71

>>557 >>558
ありがとう
まずはラムダノートのプログラミングHaskellを買いました
すごいH本はもう一冊読もうと思って時に買います

**デフォルトの名無しさん** · 2024/10/28(月) 11:18:21.59

すごいエロい本か

**デフォルトの名無しさん** · 2024/10/28(月) 16:01:27.57

>>563
それ面白いと思ってレスしてんの?

**デフォルトの名無しさん** · 2024/10/28(月) 17:13:55.02

10年前のtwitterでは鉄板ジョークでしたよ
すごいH

**デフォルトの名無しさん** · 2024/10/28(月) 19:07:28.37

haskell知らない人はエロ本だと思うし
隠れた卑猥な意味が無ければ
隠語としての価値も無い

**デフォルトの名無しさん** · 2024/10/28(月) 19:57:49.83

ML族のRustが市民権を得た今haskellやる意味ないよ
その時間をRustに当てなさい

**デフォルトの名無しさん** · 2024/10/28(月) 21:28:05.60

平均的HaskellerはRustもやった上でLinearTypes拡張がどうなるか様子見しつつ両方使ってるのでは？
https://zenn.dev/konn/articles/2023-10-01-linear-haskell-in-2023

**デフォルトの名無しさん** · 2024/10/28(月) 22:50:50.12

Haskellスレで言われましても
わざわざカレー屋に来て「ラーメンを食え」って喧伝するようなものでしょ

**デフォルトの名無しさん** · 2024/10/29(火) 10:29:33.30

>>567
ほんそれ

**デフォルトの名無しさん** · 2024/10/29(火) 11:58:27.10

Rustを関数型扱いするやつは
Rustも関数型もまるで理解してない
だから誰も真面目には相手してくれない

**デフォルトの名無しさん** · 2024/10/29(火) 12:22:05.93

そう。世界がHaskellから孤立していく
世界はもっと危機感もった方が良いよ

**デフォルトの名無しさん** · 2024/10/29(火) 15:30:57.70

実用プログラムに使った例はあるの？

**デフォルトの名無しさん** · 2024/10/29(火) 16:00:48.67

>>567
MLとは全然ちゃうがな
HM型推論せんやろ

**デフォルトの名無しさん** · 2024/10/29(火) 22:29:59.15

>>573
自分も詳しくはないけど、クローズドな分野が多いんじゃない？

**デフォルトの名無しさん** · 2024/10/29(火) 23:08:38.64

>>575
秘密ということ、それじゃわからんと同じことじゃないか

**デフォルトの名無しさん** · 2024/10/29(火) 23:25:09.95

世界は頭悪すぎてHaskellを使いこなせていない
世界はもっと危機感を持った方が良い

**デフォルトの名無しさん** · 2024/10/30(水) 02:10:51.19

急に主語が大きくなったぞωωω=2πf

**デフォルトの名無しさん** · 2024/11/02(土) 09:15:14.82

クローズドな部分なら使ったうちには入らないな

**デフォルトの名無しさん** · 2024/11/02(土) 18:11:47.64

金融工学で使ってるとこあるかもね
OCamlが定番らしいし

**デフォルトの名無しさん** · 2024/11/02(土) 19:19:33.26

>>580
やはり実務ではフィンテックですか。

このスレで趣味教養的に
数理の応用実験や
アート作品生成プログラム記述用とかで
使ってる香具師いる？

**デフォルトの名無しさん** · 2024/11/02(土) 19:33:48.22

>>580
みずほでOCamlしか聞いたことない
結局大規模障害出ちゃったけど

**デフォルトの名無しさん** · 2024/11/02(土) 19:38:33.59

>>582
金融商品の設計に使うんだよ
その手の障害とは全く関係ない

**デフォルトの名無しさん** · 2024/11/02(土) 20:11:17.53

>>581
どっちかというと、教育に興味があって、例えば足し算の足し方が増加と追加って2種類あるんだけど、追加は後から増えるって意味だと教科書に書いてあるけど、その説明がもやもやする。
それで、違いを考えるとこれは

増加の足し算：末尾再帰。その場で簡約出来る
3 + 2 = (3 + 1) + (2- 1) = 4 + 1 = (4 + 1) + (1 -1) = 5 + 0 = 5

追加の足し算：再帰。基底部まで来てから簡約開始。リストの ++ 演算子的な動き。
2 + 3 = 1 + ((2 - 1) + 3) = 1 + (1 + ((1 - 1) + 3)) = 1 + (1 + (0 + 3)) = 1 + (1 + 3) = 1 + 4 = 5

みたいに、足し算作らないと気付かない違いを気付いて教えるのに役立ててる。
(+1/-1の代わりにsucc/pred関数の適用で考えた方が分かり易いかも）

**デフォルトの名無しさん** · 2024/11/02(土) 20:16:43.59

>>583
そうなんだ。
そういうライブラリ頼みっぽい事なら、MathmacticaとかPythonのが良さそうなのにね。
金融商品だったら統計に強いRだってあるし。
なぜわざわざOCamlだったのやら…。

**デフォルトの名無しさん** · 2024/11/03(日) 11:40:35.68

>>584
本スレ誘導
https://mevius.5ch.net/test/read.cgi/tech/1710585705/

**デフォルトの名無しさん** · 2024/11/03(日) 17:33:41.03

その手のはかなり昔からの話だしその頃pythonはそんな一般的ではない

**デフォルトの名無しさん** · 2024/11/03(日) 18:58:10.27

>>586
え…。
Haskellを何に使ってるか聞かれたから答えたのに、そりゃ無いよ。

**デフォルトの名無しさん** · 2024/11/06(水) 18:53:34.69

semigroupoidsのAltからFunctor抜いたやつないのかな
catsのSemigroupK相当のやつ

**デフォルトの名無しさん** · 2024/11/07(木) 02:17:24.00

HackageもHaskellWikiもつながらねえ
攻撃でも受けたか

**デフォルトの名無しさん** · 2024/11/07(木) 06:45:43.72

数か月前もHoogle繋がらなかったしね…。

**デフォルトの名無しさん** · 2024/11/09(土) 18:32:16.19

mylist.py TotalSeconds : 6.1246778
1:def mylist(n, m):
2: a = 1
3: outer = []
4: for _ in range(0, n):
5: inner = []
6: for _ in range(0, m):
7: inner.append(a)
8: a += 1
9: outer.append(inner)
10: return outer
11:
12:print(mylist(6000, 8000)[-1][-1])

上と同じ動きのコードを書いたけど、
アルゴリズムとしてはPythonと同じmylist.hsのコードが良いはずなのに、
どっちも最適化するとmylist2.hsのが良好。
（ファイル名の横の秒数は実行時間）

mylist.hs TotalSeconds : 4.107899
1:main = print.last.last $ mylist 6000 8000
2:
3:mylist n m = take n.f $ [1..]
4: where f ns = xs:f ys
5: where (xs, ys) = splitAt m ns

mylist2.hs TotalSeconds : 2.3916408
1:main = print.last.last $ mylist 6000 8000
2:
3:mylist n m = take n.iterate f $ [1..m]
4: where f = map (+m)

**デフォルトの名無しさん** · 2024/11/09(土) 18:32:43.47

mylist2.hsのアルゴリズムは
f = map (+3)とすれば

[1,2,3]
[4,5,6] -- f [1,2,3] = [1 + 3, 2 + 3, 3 + 3] = [4,5,6]
[7,8,9] -- f (f [1,2,3]) = f [1 + 3, 2 + 3, 3 + 3] = [4 + 3, 5 + 3, 6 + 3] = [7,8,9]

と、行数が増えるごとに関数の適用回数が増えるので本来なら遅いはずですが、
考えるに直前の結果をキャッシュする様な最適化が施された模様。(-O3)
（そうすると、mylist.hsのsplitAtの方がボトルネックになる?）

最適化なしでのコンパイルはしてないので、
もしかしたらiterateの中身自身がキャッシュするように改良されたのかも。

**デフォルトの名無しさん** · 2024/11/10(日) 16:05:22.18

これ数学的にどういうことなのか
かいつまんで教えてくらまいか
watch?v=dYj0rPQeRkA

**デフォルトの名無しさん** · 2024/11/16(土) 10:08:07.70

Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Shuichi Yukita

という書籍が来月出るんですって？

**デフォルトの名無しさん** · 2024/11/16(土) 14:32:48.68

>>595
高いな

> Hardcover
> \36,125 Tax included

**596** · 2024/11/16(土) 14:36:30.07

円記号がバックスラッシュになっていたので訂正
￥36,125

フォントによるわけだが

**デフォルトの名無しさん** · 2024/11/16(土) 15:13:06.50

買って損するだけの高額本の予感

**デフォルトの名無しさん** · 2024/11/16(土) 15:27:44.60

なんだ雪田の本じゃねぇか
プラスアルファはあるかも知れんが
基本雪田の「圏論入門 Haskellで計算する具体例から」と大差無いと思うぞ

**デフォルトの名無しさん** · 2024/11/16(土) 20:50:43.88

結局Moggiのアイディアがなんなのか書いてなかったから、洋書でも同じでしょ。

**デフォルトの名無しさん** · 2024/11/16(土) 21:01:44.68

すでに書かれてるのがwikipediaにあるじゃん
https://ja.m.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%82%B9%E3%83%AA%E5%9C%8F

**デフォルトの名無しさん** · 2024/11/16(土) 21:18:48.47

wikiのは肝心のvalueとcomputationについてちゃんと書いてない。
computationの訳を「計算された値」とするのは微妙。

**デフォルトの名無しさん** · 2024/11/16(土) 21:28:16.06

『圏論入門』の方にはvalueもcomputationも書いてなかったと思うから言わずもがな。

**デフォルトの名無しさん** · 2024/11/16(土) 21:43:11.16

出たら人柱になって買って読んで下さい

**デフォルトの名無しさん** · 2024/11/16(土) 22:29:43.38

多分加筆してると思うよ
日本の出版社はなぜかページ数制限があることが多いんだけど
海外にそれはないし

**デフォルトの名無しさん** · 2024/11/16(土) 22:41:34.37

加筆してvalueとcomputationの説き起こしから始めて本当にMoggiのアイディア書くかなぁ？
米田の補題が工学応用できるとかいう主張と衝突する気がするんだけれど。

**デフォルトの名無しさん** · 2024/11/17(日) 08:11:12.88

レポよろ

**デフォルトの名無しさん** · 2024/11/17(日) 09:07:13.97

ぷりぷりです

**デフォルトの名無しさん** · 2024/11/17(日) 14:35:29.88

4万近く出してわざわざレポだけする奴なんているの？
圏論入門と同じでそれらしいキーワードだけ出して終わりの可能性高いのに。

**デフォルトの名無しさん** · 2024/11/17(日) 19:34:30.56

まぁそもそもHaskellで圏論持ち出す必要ないしな
生産性上がらないよ

**デフォルトの名無しさん** · 2024/11/17(日) 19:42:07.02

Haskell、コーダー界隈で圏論勉強会が流行していた時期、あれは何だったのか？

**デフォルトの名無しさん** · 2024/11/17(日) 20:00:10.23

圏がグラフの拡張みたいな概念だったから、グラフ理論みたいに有用なプログラミングにつかえるアルゴリズムがあるんじゃないかってことでやってたように見えた。
モナドも説明したかったようにみえたけど、結局圏論の勉強を踏まえた説明はでてこなかった。

**デフォルトの名無しさん** · 2024/11/17(日) 21:17:15.64

>>611
俺も行ってたわw
数学クラスターからの圏論マウントを喰らっていくのやめたがw
そういうやつ多いんじゃないか

**デフォルトの名無しさん** · 2024/11/20(水) 04:56:53.37

プログラムは合成できないといけないって当然のことを、いちいち圏である必要があるとか言い換えるオレ天才だわー

**デフォルトの名無しさん** · 2024/11/20(水) 18:55:46.60

https://dic.nicovideo.jp/a/%E9%A1%A7%E5%AE%A2%E3%81%8C%E6%9C%AC%E5%BD%93%E3%81%AB%E5%BF%85%E8%A6%81%E3%81%A0%E3%81%A3%E3%81%9F%E3%82%82%E3%81%AE

**デフォルトの名無しさん** · 2024/11/21(木) 00:16:43.88

集合論と圏論の抽象度がもし同レベルならたしかに圏である必要はないな
必要ない情報は捨象されるべきだと言われれば何も反論できない

だから抽象化マウントは強いんだ

**デフォルトの名無しさん** · 2024/11/21(木) 01:45:46.56

抽象化すればプログラムしにくいと思うけど

**デフォルトの名無しさん** · 2024/11/21(木) 19:02:52.56

プログラムが圏になるためとかいうクソしょうもない理由がモナド導入の理由って本当か？
圏論っていうか圏じゃん。モノイド構造も米田の補題もなにも出てこないんだが

**デフォルトの名無しさん** · 2024/11/21(木) 21:57:07.56

型構築子を導入すれば関手もモナドも勝手についてくる
型を必要とするすべての言語で同じことが言える
これも抽象化

**デフォルトの名無しさん** · 2024/11/28(木) 10:04:33.91

haskellでスクレイピングがやりたいんだが
arch linuxのリポにはscalpelがない
別言語でやったほうがいいかな？

**デフォルトの名無しさん** · 2024/12/04(水) 21:11:42.90

ディストリで全部パッケージ化してくれてるとは思えん
stackかcabal入れて自分で管理するんじゃね？
ローカルに1GBくらいのライブラリ入るし重複しないようにしないといかんが

もちろんseleniumとか使うにしてもpythonとかrubyのほうが楽やろ

**デフォルトの名無しさん** · 2024/12/08(日) 23:12:57.17

おおむね10^-300前後(-400乗は無理だった）精度の任意精度少数。
定義済みの中ではPico(10^-12)までは定義されてる。

下の定義のE300/10^300/F300を書き換えれば任意精度の浮動小数型が作れる。
(F300がPicoとかNanoとかの型）
ただし、pi/sin/sqrtなどの倍精度/単精度の浮動小数型用関数/定数が使えなくなるので四則演算を駆使して自作する必要がある。

import Data.Fixed

data E300

instance HasResolution E300 where resolution _ = 10^300

type F300 = Fixed E300

**デフォルトの名無しさん** · 2024/12/19(木) 15:03:02.64

add (x,y) (a,b) = (x+a,y+b)
これをaddを定義せずにarrowで簡単にかく方法はありますか

**デフォルトの名無しさん** · 2024/12/19(木) 16:15:15.91

arrowてなんすか

**デフォルトの名無しさん** · 2024/12/19(木) 19:27:09.72

富士通のスマホ