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

◆QZaw55cn4c · 2020/02/05(水) 20:36:57.76

圏論ってなんですか？

**デフォルトの名無しさん** · 2020/02/05(水) 21:17:36.43

アジア文化圏

**デフォルトの名無しさん** · 2020/02/05(水) 21:42:26.50

一つ言えるのは圏論ってなんか語りたくなっちゃうものなんだということ。
プログラムにおいては全く意味はない。
計算機の動きを抽象化する道具としてそんな筋のいいものではない。
数論でも勉強するなら意味はあるだろうが。

**デフォルトの名無しさん** · 2020/02/05(水) 23:38:47.13

圏論はどちらかといえばポイントフリー
λとか∀とか∃とかパターンマッチとかで変数を束縛する言語
に違和感があれば圏論を語りたくなる

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

>>970
大規模ソフトウェアのメンテにおいて、
圏論を知らないとこのように失敗するが、
知っているとこのように成功する、
という具体例を挙げられますか？

または、具体例を挙げて説明している本やブログ、
カンファレンスなどを紹介できますか？

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

>>977
圏論は、いわゆる「銀の弾丸」ではない

**デフォルトの名無しさん** · 2020/02/06(木) 07:32:25.39

>>978
それは分かっています。

>>970 が圏論による成功例を知っているのなら教えてほしかったのです。

一件も挙げられず、ただ大規模ソフトウェアには大事だと言っているだけでしたら、
とても残念です。

**デフォルトの名無しさん** · 2020/02/06(木) 08:35:23.71

お前が圏論理解してかつ大規模ソフトウェア開発で失敗したら反証になるじゃん
がんばれ

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

>>980
この件に関して反証しても、大した意味はないと思います。

具体的な成功例を一つでも知ることの方が遥かに役立つのではないでしょうか。

**デフォルトの名無しさん** · 2020/02/06(木) 11:23:47.14

圏論だのモナドだの相変わらずだなあ
もっと楽しい話をしようぜ
コモナドとかProfunctor Opticsとかサ

**デフォルトの名無しさん** · 2020/02/06(木) 11:47:37.47

横からだが
個人的に考えてる、と断ってるじゃん
単なる個人の感想
お前はそこに証拠を求めてる
何がしたいの？

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

>>983
個人的でもそう考える根拠が何かあると思います。
何かの記事でそう語っているのを見たとか、
自分が携わったプロジェクトで実感したとか。

記事なら出典を知りたいですし、
実感したのならもう少し具体的な話を聞きたいです。

と言うのも、今までもここで圏論を語る人はたくさんいましたが、
私の知る限り誰一人として役立った例を具体的に語った人はいませんでした。

>>970 は久しぶりに長文で熱く語っておられるので、
もしや具体例を挙げられるのではと思い聞いてみました。

**デフォルトの名無しさん** · 2020/02/06(木) 13:45:00.26

>>977
http://kymst.net/index.php?plugin=attach&;refer=MathDocs&openfile=mjk01bt1.pdf

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

>>971
そりゃ学位論文レベルの言語ならあるさ
そもそもそのCPLとCSL(Categorical Specification Language)とを定義した萩野達也氏のエジンバラ大学に提出した件の学位論文は私も読んだ
そして理論的には大変に興味深い研究だと思ったよ

だが私が前の投稿で書いた「使い物にならない」の定義、つまり肯定形の「使い物になる」はソフトウェア工学的な意味で実用になるという意味だ
つまりは「多数のプログラマによって実用プロジェクトで使える言語」という意味だ、より具体的な基準が必要だと言うのならば
「最低でも100万行のソフトウェア開発をそのプログラミング言語で行える」という意味だ

君が私の主張である「使い物にならない」を否定したければ、100万行とは言わぬまでもせめて10万行のソフトウェアを
複数人で開発するのにCPLだけでやってみてくれ、もちろん必要なCPLのライブラリ類は自分達で開発してね

**デフォルトの名無しさん** · 2020/02/06(木) 22:27:12.19

簡単な判別法がある
デバイスドライバーが書けない言語は使い物にならない

**デフォルトの名無しさん** · 2020/02/06(木) 22:27:40.06

>>977
だから能力として近いと言っているだけだよ
圏論という理論を勉強して理解できる能力と、大規模ソフトウェアを良い構造で設計する能力とはね
私がそう考えている理由は、どちらも抽象化や一般化といった思考の能力が重要だからだ

圏論を知らなければ良い設計が出来ないと言っている訳では決してない

970の最後の３行（空行はカウントしない）の意味するところは
勉強すれば圏論を理解できるようになる人は（抽象化や一般化の思考能力が高いので圏論を勉強していなくても）良い設計ができるだろう、という予想だ

**デフォルトの名無しさん** · 2020/02/06(木) 23:07:57.45

>>987
> デバイスドライバーが書けない言語は使い物にならない

それは又一つ別の定義だね
私個人としてはアプリケーションしか書けないプログラミング言語でも「使い物になる」ことを認めるけれども
そういう定義をするソフトウェア技術者の立場はそれとして否定する気はない

**デフォルトの名無しさん** · 2020/02/06(木) 23:44:41.47

人間の社会の役に立つ勢力の定義が存在するのか？
まずは存在を疑うのが無駄な努力をしない秘訣

**デフォルトの名無しさん** · 2020/02/07(金) 00:02:21.67

圏論が実用言語に向いてないのと同様に、989は5chに向いてない

**デフォルトの名無しさん** · 2020/02/07(金) 00:15:35.18

そんなことないでしょ

**デフォルトの名無しさん** · 2020/02/07(金) 01:41:24.07

オオオオチンポ

**デフォルトの名無しさん** · 2020/02/07(金) 08:09:04.68

javascriptでデバイスドライバは書けないわな
圏論とやらが必要な分野で使えばいいだけの話

**デフォルトの名無しさん** · 2020/02/07(金) 12:13:54.81

>>990
未知のウィルスに対する検疫等の防衛が出来るのも人間に役立つ能力
いまの役人の対応観てたらあほばっかりだと思うだろ

**デフォルトの名無しさん** · 2020/02/07(金) 13:01:46.27

まだ定義してないのにフライングできる奴は
定義が存在しないパターンを知ってるからそれができる

**デフォルトの名無しさん** · 2020/02/08(土) 16:14:00.43

HListのインサートとかソートとかのやり方の実装が乗ってるホームページ教えて
作ろうとしても難しくてできないから

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

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1581326256/

**デフォルトの名無しさん** · 2020/02/10(月) 19:36:01.30

>>997
HList パッケージのソースをみるしかないかも
https://hackage.haskell.org/package/HList-0.5.0.0/docs/src/Data-HList-HSort.html

**デフォルトの名無しさん** · 2020/02/10(月) 20:28:59.42

>>999
あざーす

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 377日 11時間 23分 12秒