[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (998ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): [ageteoff] 2019/01/29(火)09:05 ID:gJP/u7IJ(1/3) AAS
関数型プログラミング言語 Haskell について語るスレです。
haskell.org (公式サイト)
外部ﾘﾝｸ:www.haskell.org
日本Haskellユーザーグループ
外部ﾘﾝｸ:haskell.jp
前スレ
関数型プログラミング言語Haskell Part31
2chｽﾚ:tech
969: 2020/02/04(火)22:57 ID:LyYVEub6(1) AAS
静的単一代入形式に変換して、
φ関数の出てくるところを別関数の呼び出しに変換すれば、
副作用のない状態には持ち込めるかな
970(4): 2020/02/05(水)18:14 ID:fFjiekZv(1) AAS
>>966
> ここでよく題材として挙がるのは圏論だけど これは俺も必要性はあんま感じない
プログラムを書く立場ならば圏論なんて知る必要は全くないよ
そもそも仮に圏論を知らないと良いプログラムが書けないプログラミング言語があったとしたら
そんなプログラミング言語は使い物にならない
Haskellerなど一部のプログラマの間での昨今の圏論ブームは少なくとも私には単なる一種のファッションの流行にしか見えないし余り意義を認めない
他人の趣味にケチをつける気はないので、やりたければどうぞ御自由に、としか言いようがない
圏論を知る必要があるとすればプログラムを書く人間ではなくて新しいプログラミング言語の設計をする人間（の一部）だ
省8
971(1): 2020/02/05(水)18:19 ID:hXjs1EZI(1) AAS
>>970
>そもそも仮に圏論を知らないと良いプログラムが書けないプログラミング言語があったとしたら
CPL(Categorical Programming Language)
まずは Wikipedia を参照汁
972: 2020/02/05(水)19:04 ID:2rKdW1Ec(1) AAS
圏論って知らずに使ってるんやろ
それでええやん
973: ◆QZaw55cn4c 2020/02/05(水)20:36 ID:uTOW/8lH(1) AAS
圏論ってなんですか？
974: 2020/02/05(水)21:17 ID:2r8PGoiv(1) AAS
アジア文化圏
975: 2020/02/05(水)21:42 ID:/Jhw33Vx(1) AAS
一つ言えるのは圏論ってなんか語りたくなっちゃうものなんだということ。
プログラムにおいては全く意味はない。
計算機の動きを抽象化する道具としてそんな筋のいいものではない。
数論でも勉強するなら意味はあるだろうが。
976: 2020/02/05(水)23:38 ID:m+XqauaX(1) AAS
圏論はどちらかといえばポイントフリー
λとか∀とか∃とかパターンマッチとかで変数を束縛する言語
に違和感があれば圏論を語りたくなる
977(3): 2020/02/06(木)01:01 ID:OGs/tKtL(1/4) AAS
>>970
大規模ソフトウェアのメンテにおいて、
圏論を知らないとこのように失敗するが、
知っているとこのように成功する、
という具体例を挙げられますか？
または、具体例を挙げて説明している本やブログ、
カンファレンスなどを紹介できますか？
978(1): 2020/02/06(木)04:11 ID:7nZd7Xb0(1) AAS
>>977
圏論は、いわゆる「銀の弾丸」ではない
979: 2020/02/06(木)07:32 ID:OGs/tKtL(2/4) AAS
>>978
それは分かっています。
>>970 が圏論による成功例を知っているのなら教えてほしかったのです。
一件も挙げられず、ただ大規模ソフトウェアには大事だと言っているだけでしたら、
とても残念です。
980(1): 2020/02/06(木)08:35 ID:7WdfZf7H(1) AAS
お前が圏論理解してかつ大規模ソフトウェア開発で失敗したら反証になるじゃん
がんばれ
981: 2020/02/06(木)11:02 ID:OGs/tKtL(3/4) AAS
>>980
この件に関して反証しても、大した意味はないと思います。
具体的な成功例を一つでも知ることの方が遥かに役立つのではないでしょうか。
982: 2020/02/06(木)11:23 ID:gLliKWEs(1) AAS
圏論だのモナドだの相変わらずだなあ
もっと楽しい話をしようぜ
コモナドとかProfunctor Opticsとかサ
983(1): 2020/02/06(木)11:47 ID:sigCaOr9(1) AAS
横からだが
個人的に考えてる、と断ってるじゃん
単なる個人の感想
お前はそこに証拠を求めてる
何がしたいの？
984: 2020/02/06(木)12:12 ID:OGs/tKtL(4/4) AAS
>>983
個人的でもそう考える根拠が何かあると思います。
何かの記事でそう語っているのを見たとか、
自分が携わったプロジェクトで実感したとか。
記事なら出典を知りたいですし、
実感したのならもう少し具体的な話を聞きたいです。
と言うのも、今までもここで圏論を語る人はたくさんいましたが、
私の知る限り誰一人として役立った例を具体的に語った人はいませんでした。
>>970 は久しぶりに長文で熱く語っておられるので、
もしや具体例を挙げられるのではと思い聞いてみました。
985: 2020/02/06(木)13:45 ID:sNihMBVC(1) AAS
>>977
外部ﾘﾝｸ[php]:kymst.net
986: 2020/02/06(木)22:21 ID:AbsWoeSu(1/3) AAS
>>971
そりゃ学位論文レベルの言語ならあるさ
そもそもそのCPLとCSL(Categorical Specification Language)とを定義した萩野達也氏のエジンバラ大学に提出した件の学位論文は私も読んだ
そして理論的には大変に興味深い研究だと思ったよ
だが私が前の投稿で書いた「使い物にならない」の定義、つまり肯定形の「使い物になる」はソフトウェア工学的な意味で実用になるという意味だ
つまりは「多数のプログラマによって実用プロジェクトで使える言語」という意味だ、より具体的な基準が必要だと言うのならば
「最低でも100万行のソフトウェア開発をそのプログラミング言語で行える」という意味だ
君が私の主張である「使い物にならない」を否定したければ、100万行とは言わぬまでもせめて10万行のソフトウェアを
複数人で開発するのにCPLだけでやってみてくれ、もちろん必要なCPLのライブラリ類は自分達で開発してね
987(1): 2020/02/06(木)22:27 ID:sUAmWprm(1) AAS
簡単な判別法がある
デバイスドライバーが書けない言語は使い物にならない
988: 2020/02/06(木)22:27 ID:AbsWoeSu(2/3) AAS
>>977
だから能力として近いと言っているだけだよ
圏論という理論を勉強して理解できる能力と、大規模ソフトウェアを良い構造で設計する能力とはね
私がそう考えている理由は、どちらも抽象化や一般化といった思考の能力が重要だからだ
圏論を知らなければ良い設計が出来ないと言っている訳では決してない
970の最後の３行（空行はカウントしない）の意味するところは
勉強すれば圏論を理解できるようになる人は（抽象化や一般化の思考能力が高いので圏論を勉強していなくても）良い設計ができるだろう、という予想だ
989: 2020/02/06(木)23:07 ID:AbsWoeSu(3/3) AAS
>>987
> デバイスドライバーが書けない言語は使い物にならない
それは又一つ別の定義だね
私個人としてはアプリケーションしか書けないプログラミング言語でも「使い物になる」ことを認めるけれども
そういう定義をするソフトウェア技術者の立場はそれとして否定する気はない
990(1): 2020/02/06(木)23:44 ID:r1DVX1M4(1) AAS
人間の社会の役に立つ勢力の定義が存在するのか？
まずは存在を疑うのが無駄な努力をしない秘訣
991: 2020/02/07(金)00:02 ID:sQmwkFjl(1) AAS
圏論が実用言語に向いてないのと同様に、989は5chに向いてない
992: 2020/02/07(金)00:15 ID:MJwijXd8(1) AAS
そんなことないでしょ
993: 2020/02/07(金)01:41 ID:Fnc0TnWe(1) AAS
オオオオチンポ
994: 2020/02/07(金)08:09 ID:ruz5n033(1) AAS
javascriptでデバイスドライバは書けないわな
圏論とやらが必要な分野で使えばいいだけの話
995: 2020/02/07(金)12:13 ID:PWhN+bN7(1) AAS
>>990
未知のウィルスに対する検疫等の防衛が出来るのも人間に役立つ能力
いまの役人の対応観てたらあほばっかりだと思うだろ
996: 2020/02/07(金)13:01 ID:3L88mYwi(1) AAS
まだ定義してないのにフライングできる奴は
定義が存在しないパターンを知ってるからそれができる
997: 2020/02/08(土)16:14 ID:pTX+YoHa(1) AAS
HListのインサートとかソートとかのやり方の実装が乗ってるホームページ教えて
作ろうとしても難しくてできないから
998: 2020/02/10(月)18:21 ID:gQeDR86I(1) AAS
次スレ
2chｽﾚ:tech
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.358s*