関数型プログラミング言語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/11/17(日) 12:27:10.16

型はフェイクではない
○○を応用した成果が型である
ゆえに○○はフェイクではない

このように「応用」や「成果」の概念がフェイクに加担している

**デフォルトの名無しさん** · 2019/11/17(日) 20:43:59.01

>>780
> CSに出て来る圏論はフェイク

CSとCSでないとの境界は曖昧なわけだが
例えば構成主義的な型理論などはその典型だ
少なくともBart JacobsのCategorical Logic and Type Theoryでの型理論はCSでなく数理論理学で
そこで出て来る圏論はフェイクでなく本物だと思うがねえ
Lambek & Scott (Phil)とそこで出て来る圏論に関しても同様

だからこそ数学を基礎付ける枠組みとしてのHTT (Homotopical Type Theory)などという考えが出てくるわけで

逆に言えば代数幾何で出て来る圏論は間違いなく本物なのは事実だが数理論理学で出て来る圏論から見ると酷く偏った部分だけだし
逆から見れば数理論理で出て来る圏論は代数幾何の圏論から見れば同様に非常に偏って見える

最近の高階圏や高次元圏の隆盛を見てもわかるとおり圏論の可能性は極めて広く豊かだから
「××で出て来る圏論はフェイク」といった主張はナンセンスだよ

ただ、本来、数学を知らずに使えねばならない単なるプログラミング言語に過ぎないのに
「圏論がどうした、モナドがどうした」、といって圏論を勉強しておかないとプログラムを書けないかの如く喧伝するのは
フェイクというか一種の羊頭狗肉あるいは虎の威（圏論、あるいは純粋数学という一種の高級ブランド）を借りる狐（プログラミング言語という実用道具）であり
間違った姿勢だとは思うけれどね

**デフォルトの名無しさん** · 2019/11/17(日) 20:55:22.99

そうそう
多言語との差別化、マウント
選民主義の道具
あるいは原理主義で貫いてますよという言い訳みたいなもの
圏論必須みたいに言うのはバカ

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

とはいえほとんどのプログラマが欲しいのはどうせ虎の威だろ。
だからこの業界は何の発展もない。

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

何言ってのこの人

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

>>784
そう
僕らは「正しく」後追い根性から抜け出さなければならないと思うよ
そこから抜け出せないから日本はIT後進国

**デフォルトの名無しさん** · 2019/11/17(日) 22:02:43.05

PostgREST は Haskell のキラーコンテンツになれるか

**デフォルトの名無しさん** · 2019/11/17(日) 22:12:35.26

動的型付け原理主義なら権威もないしダメージもないんだが
ノーダメージな選択肢を冷笑して程々のダメージ受けてるやつもそれはそれで難儀な性格だ

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

まあ権威が言ってんだからで済ましたり静的チェックしてるから大丈夫とか
言い聞かせる方が地道にベンチマーク取るよりよっぽど楽だからな。
結局はそういうことだろ。
言い訳をしたいんだよ。

**デフォルトの名無しさん** · 2019/11/18(月) 07:09:05.16

>>787
REST API作るのは他言語でも簡単だし、いまさらRESTっていう気もするし、
これだけで使ってもらうのは無理筋

**デフォルトの名無しさん** · 2019/11/18(月) 11:01:11.35

rubyをいくらdisっても構わないと思うが
disるだけじゃ何も産まれないからな

**デフォルトの名無しさん** · 2019/11/18(月) 19:55:00.90

どこが嫌いかより、どこが好きかで言語を語れよ！

**デフォルトの名無しさん** · 2019/11/19(火) 11:11:47.89

反日パヨク野党にはほめるところもすきなところも何もないわ

**デフォルトの名無しさん** · 2019/11/19(火) 13:04:27.10

誰だよそいつは
自分を匿名化するのは別にいいけど敵を匿名にするなよ

**デフォルトの名無しさん** · 2019/11/19(火) 14:46:28.06

>>793
>野党
は言語なのか？

はじめにことばがあった。ことばは髪とともにあった。
ことばは髪であった。

というくらいだから気になるかしらんが。

**デフォルトの名無しさん** · 2019/11/19(火) 20:45:50.91

何が問題のある機能か語る方がプログラム技術は向上する。
好きなものだけやってるバカは働いてほしくない。

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

技術自体が目的になることを問題視する風潮なので

サイコパスですら手段の目的化には強い罪悪感を持つようだ
もはやサイコパスでもなんでもないただの人

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

つまらない

**デフォルトの名無しさん** · 2019/11/20(水) 13:02:17.44

東京でのhaskellプログラマの求人だとさ
https://www.reddit.com/r/haskell/comments/dyh4rz/job_purescript_and_haskell_tokyo_or_remote/

**デフォルトの名無しさん** · 2019/11/21(木) 20:19:49.90

apiサーバー実装としてhaskell結構いけるという話が出てるな。
ちと興味出てきた。
モナドガーとかずっと言ってるバカしかいないのかと思ってたがそうでもないようだ。

**デフォルトの名無しさん** · 2019/11/27(水) 15:44:41.54

よわそう

**デフォルトの名無しさん** · 2019/11/28(木) 00:39:29.58

圏論流行っているのって、人工知能の機械学習の理論のベースが複素多様体（複素ファジー）
にあってアルゴリズムに落とし込むにあたってバッチリ実学になるからとかそういう理由から？

**デフォルトの名無しさん** · 2019/11/28(木) 00:44:08.38

haskellの真価は機械学習で出るとかそういうやつかな。勝手に納得くっそー。

**デフォルトの名無しさん** · 2019/11/28(木) 00:58:23.73

FRPの金脈は掘り尽くされてみな失望して出て行ったの？
Haskellでゲーム作りを通してFRPを学べるみたいな本がLeanpubで書かれてたけど
作者途中で断念しちゃったんだよね

**デフォルトの名無しさん** · 2019/11/28(木) 00:59:05.39

ちくしょう。

**デフォルトの名無しさん** · 2019/11/28(木) 01:00:13.06

慈善事業で地位向上やってたんだろうが。ちくしょう。

**デフォルトの名無しさん** · 2019/11/28(木) 01:06:40.27

くっそ。こんな頭に線繋いで文意の通らないコミュニケーションとれるとか。
公認基地外化してなんてやろうだ。
邪魔するつもりはないが、全国クイズ大会とかいつまでやるつもりだ。

**デフォルトの名無しさん** · 2019/11/28(木) 19:49:21.00

>>802
圏論の流行の理由はそっち方面とは全く関係ない
一つは関数型プログラミング言語の型の体系の理論的基盤である型理論が圏論と直接的な繋がりがあるところから
もう一つは実用プログラムとしては避けて通れない例外処理や状態の概念をHaskellのような関数型プログラミングで扱うための理論的基盤としてのモナドから

**デフォルトの名無しさん** · 2019/11/28(木) 22:20:47.13

関数型言語設計者にとっては重要だとしても、
Haskellを使っている人にはどうでもいい理論ってことか。

　＞＞圏論

**デフォルトの名無しさん** · 2019/11/28(木) 22:28:37.21

アリアドネーの糸か蜘蛛の糸か。
でもどのみち結論はゼロサムだろう。

**デフォルトの名無しさん** · 2019/11/29(金) 10:03:34.54

arrayパッケージのData.Array.! は配列に O(1) の計算量で参照できるのでしょうか？

**デフォルトの名無しさん** · 2019/11/29(金) 13:42:47.90

>>811
よく考えたら、IOモナドではないので、O(1)で参照できる配列構造を作れるわけないですね。
質問は無かったことにしてください。
くだらないことでスレを汚してしまい、すいませんでした。

**デフォルトの名無しさん** · 2019/11/29(金) 13:57:38.91

せやろか

**デフォルトの名無しさん** · 2019/11/29(金) 23:26:58.09

命題
IOモナドではない ⇒ O(1)で参照できる配列構造を作れない

を証命せよ

**デフォルトの名無しさん** · 2019/11/29(金) 23:37:51.77

漢字間違ってんぞ

**デフォルトの名無しさん** · 2019/12/01(日) 02:50:14.51

我々は副作用は使ってないっ！ｷﾘｯ
完全にクリーンなプログラムを書いているのだ！ｷﾘｯｷﾘｯ

**デフォルトの名無しさん** · 2019/12/01(日) 12:50:50.29

色々なコホモロジーの同型の証明については圏論は力を発揮するが、
型理論においてはそういう風にも考えられるよね？以上の意味はない。
単なる箔付けだな。

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

doは単なる構文糖だな
それで、Pythonのlambdaの仕様を変える必要がないことが証明されてしまった
これだけでも十分大きい

**デフォルトの名無しさん** · 2019/12/01(日) 15:24:48.19

その話kwsk

**デフォルトの名無しさん** · 2019/12/01(日) 17:20:16.47

>>817
一つの型理論に対するモデルは原理的に様々なモデルがあり得る
その様々なモデルをまとめて特徴づけるのには圏論が便利なんだよ

いわゆる圏論的モデルだよ
圏論的モデルというのは本来の（数理論理学での）意味での具体的なモデルでなくて
与えられた理論に対するモデル全般が満たすべき性質の圏論による公理化とでも言ったほうが良い感じの代物だからね

それと型理論に応じて圏論モデルとしての圏には特有の興味深い構造（例えばデカルト閉圏とかモノイダル閉圏とかね）を持つケースが多い

**デフォルトの名無しさん** · 2019/12/01(日) 18:31:03.50

>圏論的モデルというのは本来の（数理論理学での）意味での具体的なモデルでなくて
>与えられた理論に対するモデル全般が満たすべき性質の圏論による公理化とでも言ったほうが良い感じの代物だからね
なるほど、数学基礎論の方面をあんま知らんからそういう発想になるわけか。

**デフォルトの名無しさん** · 2019/12/01(日) 20:45:57.22

は？ちゃんと言え

**デフォルトの名無しさん** · 2019/12/01(日) 21:43:32.61

いわゆる同型を除いて一意的（up to isomorphism）なモデルなことではないか。
どういうものかはわからんが。

**デフォルトの名無しさん** · 2019/12/02(月) 19:35:22.17

もうよElixirやろうぜElixir
Haskellに近いコーディングパターンマッチングも出来るし
もう、色々ユルユル
非同期マルチスレッドプログラムで受け手がないのにメッセージ送り捲れる(メール形式なので)
割り当てメモリーを使い切るとエラーで止まるけど(メールボックス満杯)
もう、ユルで目からウロコ

**デフォルトの名無しさん** · 2019/12/02(月) 19:39:36.79

メールボックスがオーバーフローしない証明しながらコーディングするんすか？

**デフォルトの名無しさん** · 2019/12/02(月) 20:11:00.44

メールボックスだから受け手のプログラムも起動して非同期でメッセージを受け取って
メールボックスから消せばOk.
通常はメッセージの送り手スレッドがメールボックスの空き待ちになるだろ

メールボックス管理は独立したスレッドで動くんじゃね？
とにかくユルイ
僕でも出来たヽ(^o^)丿な感じ

**デフォルトの名無しさん** · 2019/12/02(月) 20:42:42.47

>>822
完全性定理でググレカス。

**デフォルトの名無しさん** · 2019/12/06(金) 04:46:46.01

話題は？

**デフォルトの名無しさん** · 2019/12/07(土) 00:50:28.71

Nothing

**デフォルトの名無しさん** · 2019/12/07(土) 02:10:24.53

ライブラリーのソースコードをレビューしてるWebサイトってありますか？
この書き方は秀逸だとか、これは泥臭いとか
バージョンアップでのコードの進化を追ったり

英語でも全く構わないのですが

**デフォルトの名無しさん** · 2019/12/07(土) 04:27:22.19

Windows 10 64bit 上で FFI (ccall) 使って Haskell の関数を呼び出してて
呼ぶ前に hs_init() が必要なのは，なんとなくわかるんだけど
hs_exit() の方は，そのあとアプリケーション全体がすぐ終了する場合は
呼ばなくてもいい?

Windows が呼び出し元のプロセスも Haskell ランタイムも開放してくれるよね
hs_exit() 呼ばなくても。たぶん
この辺，わかる人いますか

**デフォルトの名無しさん** · 2019/12/07(土) 12:36:43.68

プロセス切り離せば？
そうでもしないと他言語呼び出しなんて低レイヤーデバッグする覚悟ないとやってられんぞ。

**デフォルトの名無しさん** · 2019/12/07(土) 20:22:19.70

やってられない理由は低級言語でもHaskellでもなくGHC
Haskell実装はGHC以外にもいくらでもありえるから

**デフォルトの名無しさん** · 2019/12/07(土) 21:02:46.11

Haskellでスマホアプリ作りたいの！

**831** · 2019/12/08(日) 05:30:16.98

>>832, >>833
なんか GHC の FFI は
入っちゃいけない領域みたいに思えてきたんだがｗ

まぁたしかに，DLL で組み込むよりは別で組んだほうが
デバッグは圧倒的に楽だよね
(Rust でも DLL 書いてるけど，めちゃくちゃ苦労してる

**デフォルトの名無しさん** · 2019/12/10(火) 15:02:27.60

計算のキャッシュをしたい。
ある重い計算 heavy :: IO Char があってそれを f,g :: IO () から呼び出す。
一度 heavy が呼び出されて Char が返ってきた後はそれを使いまわしたい。
f で呼び出したなら、その結果の Char を g でも使う。
ただし heavy の実行は f,g のどちらかが呼ばれるまではしたくない。

cachedHeavy = unsafePerformIO heavy
とすれば cachedHeavy が利用されたときに一度だけ簡約がおこなわれて、
その時だけ heavy が実行されるので、これを使えば事は足りる。
でもなるべく unsafe は使いたくない。どうすればいいでしょうか。

**デフォルトの名無しさん** · 2019/12/10(火) 15:23:28.41

何もしなくても最適化で一回しか使われなくなるんじゃないの
haskellはそんなに馬鹿なの？

**デフォルトの名無しさん** · 2019/12/10(火) 15:23:58.32

memcached

**デフォルトの名無しさん** · 2019/12/10(火) 17:01:00.59

>>837
ターミナルからの入力 readLine みたいにキャッシュしたくないときもあって、
上記のような値を普通に呼び出すコードからは、コンパイラは意図を判別できない。

>>838
なんぞそれ

**デフォルトの名無しさん** · 2019/12/11(水) 22:52:31.45

-- cached :: IO a -> IO (IO a)
main = cached heavy >>= \ cachedHeavy -> 云々
こういうのでいいならunsafePerformIOは不要

**デフォルトの名無しさん** · 2019/12/12(木) 11:38:57.75

>>840
はい。 f,g はトップレベルではなくIOアクションの中で定義しても大丈夫です。

IORefを使わなきゃ無理かな、と思ってたんだけど、これは目から鱗でした。
cached = pure
でいいんだよね？単にモナド一枚かぶせるだけで計算のキャッシュになるなんて、
今年一番のオドロキですわ

**デフォルトの名無しさん** · 2019/12/12(木) 13:37:02.84

>>841
cached = pure ではない
IORefを使うのは正しい

**デフォルトの名無しさん** · 2019/12/12(木) 15:32:55.96

>>842
うーん指摘の通りだった。
>>841 のやり方ではIOアクション cachedHeavy を簡約で実行した時点で heavy が計算される。
f や g の中でそれぞれ実行したなら都度重い計算が走ってしまう。
i <- cachedHeavy をその前に実行するなら一度で済むが、遅延の要件「f,g のどちらかが呼ばれるまではしたくない」
を満たさない。

**デフォルトの名無しさん** · 2019/12/12(木) 15:46:44.83

つまり…　こんな感じでいいのかしら

cached :: IO a -> IO (IO a)
cached f = do
　r <- newIORef Nothing
　pure $ do
　　c <- readIORef r
　　case c of
　　　Nothing -> do
　　　　ts <- f
　　　　modifyIORef r . const . Just $ ts
　　　　pure ts
　　　 Just ts -> pure ts

＞ x <- cached $ print "heavy" >> pure 42
＞ x
"heavy"
42
＞ x
42

**デフォルトの名無しさん** · 2019/12/13(金) 00:08:15.85

IORefをご存知でない？

**デフォルトの名無しさん** · 2019/12/13(金) 11:45:01.85

>>845
間違っているところがあったら、具体的に教えていただきたい。

**デフォルトの名無しさん** · 2019/12/14(土) 10:44:10.58

cabalファイルの中でexectableで同じcabalファイルの
ライブラリー名をbuild-dependsにかいてあるのに
そのライブラリーのbuild-depensを全部書かないとコンパイルできない
のはなんで？テンプレート使ってるからとかある？

**デフォルトの名無しさん** · 2019/12/14(土) 14:55:50.10

ソースディレクトリをexeとlibに別々にしたら直った
なんだこのバグは酷いバグだ

**デフォルトの名無しさん** · 2019/12/16(月) 18:39:37.82

岡部健 (Ken Okabe)今度はQuoraでもアカウントBANされる
https://link.medium.com/EX3Y4COIs2

**デフォルトの名無しさん** · 2019/12/16(月) 19:25:09.38

終わったコンテンツでしょ、彼はもう

**デフォルトの名無しさん** · 2019/12/17(火) 00:03:50.44

オワコン。人間もっとやることある

**デフォルトの名無しさん** · 2019/12/17(火) 08:07:51.17

キャッシュ？ https://wandbox.org/permlink/98ZKnQW0uSr5c5CV

f () = print "hoge" >> getLine >>= \x -> print "foo" >> return (\() -> x)
main = do
putStrLn "1234"
f () >>= \g -> do
let e = g ()
print e
print e

**836** · 2019/12/17(火) 15:16:27.15

>>852
たしかに f で行なった計算の結果を g で使えてるけど、俺の求めてたのは
さらに g の結果も f で使えることなんです。どっちを先に実行しても計算は一度だけ、を求めてた。

**デフォルトの名無しさん** · 2019/12/17(火) 22:59:40.32

そもそもライブラリを全てimportする奴はいないので
使わなかったライブラリのコードは最後まで実行されない
全てのライブラリについて使うか使わないか予測できないならば実行の順序は予測できない

**デフォルトの名無しさん** · 2019/12/18(水) 00:29:20.63

>>854
ここにいるぜ。まあ可能な限り、ということだけども…
多すぎでリンクできなくてGHCが落ちるのが面白かった。

**デフォルトの名無しさん** · 2019/12/18(水) 09:15:25.20

え、岡部健ってQuoraで暴れてたの？
アカウント停止はまた癇癪起こして名誉毀損してたとかが理由？？

**デフォルトの名無しさん** · 2019/12/18(水) 11:17:26.49

>>856
彼がなにかしらのコミュニティーでうまくやっていけないのは、これまでの活動からわかりきっている。
むしろ、Quoraではよく持った方だと思うよ。お薬をきちんと服用するようになってるんだろうね。

**デフォルトの名無しさん** · 2019/12/18(水) 14:06:51.57

あいつか

**デフォルトの名無しさん** · 2019/12/19(木) 00:31:57.76

haskell自体はいいんだけどstackとかhieとかいちいちでかくてめんどくさい
本当にhaskell書いてる人はいるの？

**デフォルトの名無しさん** · 2019/12/19(木) 07:07:47.77

依存関係を管理するのは理想
依存関係を消すのが現実
C++やSTLに依存することすら嫌ってCだけで書くみたいな現実

**デフォルトの名無しさん** · 2019/12/19(木) 07:48:35.49

hieはもうちょっとなんとかならんのかとは思う

**デフォルトの名無しさん** · 2019/12/19(木) 10:21:19.22

>>860
Rubyをdisるのは止めれ

**デフォルトの名無しさん** · 2019/12/19(木) 14:13:07.54

実際にHaskellでコード書いてみると分かるけど
コンパイル通れば計算結果は確かに正しいんだけど
巨大なメモリを謎に使うようなバグが混入する事が結構あって
その種類のバグってエラー吐かないから特定がめっちゃ難しい。
巨大なプロジェクトでHaskell使うのは現実的には無理だと思う。

**デフォルトの名無しさん** · 2019/12/19(木) 14:32:39.93

それ
haskell で書かれたプログラムのパフォーマンスチューニングむずすぎる

**デフォルトの名無しさん** · 2019/12/19(木) 14:54:58.39

あればあるだけ使おうとするんでない？
足りなくなってからようやく（これからやる処理に必要最低限の）ガベコレ
この繰り返しだから永遠に自転車操業

**デフォルトの名無しさん** · 2019/12/19(木) 19:09:11.03

この種のバグの混入原因って大抵の場合
ネットに散らばっている'Haskellらしい'記法にあったりするから
初心者の頃に読んだ書き方が
「(実はこの人全然Haskellでコード書いてないじゃんっ！！)」
と気が付くまでワンセット

ネット上だと処理が大きくなると破綻するようなサンプルコードばっかりでウンザリする
特に遅延評価を活用するような記法は
大抵メモリ関連のバグの原因になるから実際には避けなきゃダメなのばかり

**デフォルトの名無しさん** · 2019/12/19(木) 20:23:04.10

デフォルトの挙動性格評価にするやつあったよね
あれ使ってる？

**デフォルトの名無しさん** · 2019/12/19(木) 20:49:23.97

ガベコレ言語を全否定してみるのも一つの方法
たとえばスマホが壊れたら全部新品にするかそれとも壊れた部品を特定してそこだけ修理するか

**デフォルトの名無しさん** · 2019/12/19(木) 20:50:47.99

結局最適化しようとするとコンパイラのくせをしっかり理解してたり
凄まじい技術力がいるという。。

**デフォルトの名無しさん** · 2019/12/19(木) 23:44:31.80

つまり Rust の時代か

**デフォルトの名無しさん** · 2019/12/20(金) 10:00:27.91

Rustってhaskellerにも結構評判いいけどどうなの

**デフォルトの名無しさん** · 2019/12/20(金) 11:16:14.21

>>871
俺は「あぁ，Haskell でいうアレね」みたいな感じで学べた
厳密な感じが好きなら，気にいるんじゃないのかな
ドキュメントも揃っていて学びやすいと思う

ただ，俺はいまいち使い所を見いだせてない
Haskell で書ける分野なら Haskell で書いちゃうし
ちょっとしたツールとかサーバーサイドとかは Go のが楽だし

WebAssembly を生成するために使うのが
今一番，Rust の活きる分野な気がする
Rust は，クロスコンパイルが楽なので

(個人の感想です

**デフォルトの名無しさん** · 2019/12/20(金) 11:25:55.75

>>871
ただのLisp方言やML方言はもう飽きたってことだろ

**デフォルトの名無しさん** · 2019/12/20(金) 12:03:56.77

「C言語は純粋関数型」と言ってたのってQuoraの岡部健？

**デフォルトの名無しさん** · 2019/12/20(金) 21:36:07.96

フロントをrustで書くとか一番馬鹿な選択だろ。話にならん。

**デフォルトの名無しさん** · 2019/12/23(月) 17:59:43.65

もしかしてParsecってあんまり使われてない？
Parsecのドキュメントが2001年とか古いのしか無くて、最初のサンプルコードすら通らない
ライブラリの使い方が解らなくていきなり躓いてる

**デフォルトの名無しさん** · 2019/12/23(月) 18:29:48.72

ここの住民、圏論とかの話だと玄人っぽいのにプログラミングの話になると初心者っぽくて謎

**デフォルトの名無しさん** · 2019/12/23(月) 20:24:57.43

>>876
ドキュメントと言うのが何を指しているのか具体的なURLを示してくれないと、
何が原因でどう躓いているのか、助けようにも調べる取っ掛かりが無くて困る。

あと、本当にその古いドキュメントとやらしか学習資料は無いのか？
他にチュートリアルやブログなどは参考にならないのか？

**デフォルトの名無しさん** · 2019/12/23(月) 20:56:14.64

どうせ躓くなら一番最初に躓く初心者っぽい奴の方が運が良い
ビギナーズラック

巨大なメモリを使う巨大なプロジェクトの完成直前に躓くのはかなり運が悪い

**デフォルトの名無しさん** · 2019/12/23(月) 21:51:15.50

>>876
Parsec の開発は今や"メンテナンスモード"に入っていて、代わりに attoparsec や megaparsec が活発。
https://haskell.e-bigmoon.com/posts/2019/07-14-megaparsec-tutorial.html