[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: デフォルトの名無しさん [ageteoff] 2019/01/29(火) 09:05:47.90 ID:gJP/u7IJ 関数型プログラミング言語 Haskell について語るスレです。 haskell.org (公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part31 https://mevius.5ch.net/test/read.cgi/tech/1506447188/ http://mevius.5ch.net/test/read.cgi/tech/1548720347/1
973: ◆QZaw55cn4c [sage] 2020/02/05(水) 20:36:57.76 ID:uTOW/8lH 圏論ってなんですか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/973
974: デフォルトの名無しさん [sage] 2020/02/05(水) 21:17:36.43 ID:2r8PGoiv アジア文化圏 http://mevius.5ch.net/test/read.cgi/tech/1548720347/974
975: デフォルトの名無しさん [sage] 2020/02/05(水) 21:42:26.50 ID:/Jhw33Vx 一つ言えるのは圏論ってなんか語りたくなっちゃうものなんだということ。 プログラムにおいては全く意味はない。 計算機の動きを抽象化する道具としてそんな筋のいいものではない。 数論でも勉強するなら意味はあるだろうが。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/975
976: デフォルトの名無しさん [sage] 2020/02/05(水) 23:38:47.13 ID:m+XqauaX 圏論はどちらかといえばポイントフリー λとか∀とか∃とかパターンマッチとかで変数を束縛する言語 に違和感があれば圏論を語りたくなる http://mevius.5ch.net/test/read.cgi/tech/1548720347/976
977: デフォルトの名無しさん [sage] 2020/02/06(木) 01:01:03.47 ID:OGs/tKtL >>970 大規模ソフトウェアのメンテにおいて、 圏論を知らないとこのように失敗するが、 知っているとこのように成功する、 という具体例を挙げられますか？ または、具体例を挙げて説明している本やブログ、 カンファレンスなどを紹介できますか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/977
978: デフォルトの名無しさん [] 2020/02/06(木) 04:11:03.04 ID:7nZd7Xb0 >>977 圏論は、いわゆる「銀の弾丸」ではない http://mevius.5ch.net/test/read.cgi/tech/1548720347/978
979: デフォルトの名無しさん [sage] 2020/02/06(木) 07:32:25.39 ID:OGs/tKtL >>978 それは分かっています。 >>970 が圏論による成功例を知っているのなら教えてほしかったのです。 一件も挙げられず、ただ大規模ソフトウェアには大事だと言っているだけでしたら、 とても残念です。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/979
980: デフォルトの名無しさん [sage] 2020/02/06(木) 08:35:23.71 ID:7WdfZf7H お前が圏論理解してかつ大規模ソフトウェア開発で失敗したら反証になるじゃん がんばれ http://mevius.5ch.net/test/read.cgi/tech/1548720347/980
981: デフォルトの名無しさん [sage] 2020/02/06(木) 11:02:50.38 ID:OGs/tKtL >>980 この件に関して反証しても、大した意味はないと思います。 具体的な成功例を一つでも知ることの方が遥かに役立つのではないでしょうか。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/981
982: デフォルトの名無しさん [] 2020/02/06(木) 11:23:47.14 ID:gLliKWEs 圏論だのモナドだの相変わらずだなあ もっと楽しい話をしようぜ コモナドとかProfunctor Opticsとかサ http://mevius.5ch.net/test/read.cgi/tech/1548720347/982
983: デフォルトの名無しさん [sage] 2020/02/06(木) 11:47:37.47 ID:sigCaOr9 横からだが 個人的に考えてる、と断ってるじゃん 単なる個人の感想 お前はそこに証拠を求めてる 何がしたいの？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/983
984: デフォルトの名無しさん [sage] 2020/02/06(木) 12:12:18.67 ID:OGs/tKtL >>983 個人的でもそう考える根拠が何かあると思います。 何かの記事でそう語っているのを見たとか、 自分が携わったプロジェクトで実感したとか。 記事なら出典を知りたいですし、 実感したのならもう少し具体的な話を聞きたいです。 と言うのも、今までもここで圏論を語る人はたくさんいましたが、 私の知る限り誰一人として役立った例を具体的に語った人はいませんでした。 >>970 は久しぶりに長文で熱く語っておられるので、 もしや具体例を挙げられるのではと思い聞いてみました。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/984
985: デフォルトの名無しさん [] 2020/02/06(木) 13:45:00.26 ID:sNihMBVC >>977 http://kymst.net/index.php?plugin=attach&refer=MathDocs&openfile=mjk01bt1.pdf http://mevius.5ch.net/test/read.cgi/tech/1548720347/985
986: デフォルトの名無しさん [sage] 2020/02/06(木) 22:21:29.85 ID:AbsWoeSu >>971 そりゃ学位論文レベルの言語ならあるさ そもそもそのCPLとCSL(Categorical Specification Language)とを定義した萩野達也氏のエジンバラ大学に提出した件の学位論文は私も読んだ そして理論的には大変に興味深い研究だと思ったよ だが私が前の投稿で書いた「使い物にならない」の定義、つまり肯定形の「使い物になる」はソフトウェア工学的な意味で実用になるという意味だ つまりは「多数のプログラマによって実用プロジェクトで使える言語」という意味だ、より具体的な基準が必要だと言うのならば 「最低でも100万行のソフトウェア開発をそのプログラミング言語で行える」という意味だ 君が私の主張である「使い物にならない」を否定したければ、100万行とは言わぬまでもせめて10万行のソフトウェアを 複数人で開発するのにCPLだけでやってみてくれ、もちろん必要なCPLのライブラリ類は自分達で開発してね http://mevius.5ch.net/test/read.cgi/tech/1548720347/986
987: デフォルトの名無しさん [sage] 2020/02/06(木) 22:27:12.19 ID:sUAmWprm 簡単な判別法がある デバイスドライバーが書けない言語は使い物にならない http://mevius.5ch.net/test/read.cgi/tech/1548720347/987
988: デフォルトの名無しさん [sage] 2020/02/06(木) 22:27:40.06 ID:AbsWoeSu >>977 だから能力として近いと言っているだけだよ 圏論という理論を勉強して理解できる能力と、大規模ソフトウェアを良い構造で設計する能力とはね 私がそう考えている理由は、どちらも抽象化や一般化といった思考の能力が重要だからだ 圏論を知らなければ良い設計が出来ないと言っている訳では決してない 970の最後の３行（空行はカウントしない）の意味するところは 勉強すれば圏論を理解できるようになる人は（抽象化や一般化の思考能力が高いので圏論を勉強していなくても）良い設計ができるだろう、という予想だ http://mevius.5ch.net/test/read.cgi/tech/1548720347/988
989: デフォルトの名無しさん [sage] 2020/02/06(木) 23:07:57.45 ID:AbsWoeSu >>987 > デバイスドライバーが書けない言語は使い物にならない それは又一つ別の定義だね 私個人としてはアプリケーションしか書けないプログラミング言語でも「使い物になる」ことを認めるけれども そういう定義をするソフトウェア技術者の立場はそれとして否定する気はない http://mevius.5ch.net/test/read.cgi/tech/1548720347/989
990: デフォルトの名無しさん [sage] 2020/02/06(木) 23:44:41.47 ID:r1DVX1M4 人間の社会の役に立つ勢力の定義が存在するのか？ まずは存在を疑うのが無駄な努力をしない秘訣 http://mevius.5ch.net/test/read.cgi/tech/1548720347/990
991: デフォルトの名無しさん [] 2020/02/07(金) 00:02:21.67 ID:sQmwkFjl 圏論が実用言語に向いてないのと同様に、989は5chに向いてない http://mevius.5ch.net/test/read.cgi/tech/1548720347/991
992: デフォルトの名無しさん [sage] 2020/02/07(金) 00:15:35.18 ID:MJwijXd8 そんなことないでしょ http://mevius.5ch.net/test/read.cgi/tech/1548720347/992
993: デフォルトの名無しさん [sage] 2020/02/07(金) 01:41:24.07 ID:Fnc0TnWe オオオオチンポ http://mevius.5ch.net/test/read.cgi/tech/1548720347/993
994: デフォルトの名無しさん [] 2020/02/07(金) 08:09:04.68 ID:ruz5n033 javascriptでデバイスドライバは書けないわな 圏論とやらが必要な分野で使えばいいだけの話 http://mevius.5ch.net/test/read.cgi/tech/1548720347/994
995: デフォルトの名無しさん [] 2020/02/07(金) 12:13:54.81 ID:PWhN+bN7 >>990 未知のウィルスに対する検疫等の防衛が出来るのも人間に役立つ能力 いまの役人の対応観てたらあほばっかりだと思うだろ http://mevius.5ch.net/test/read.cgi/tech/1548720347/995
996: デフォルトの名無しさん [sage] 2020/02/07(金) 13:01:46.27 ID:3L88mYwi まだ定義してないのにフライングできる奴は 定義が存在しないパターンを知ってるからそれができる http://mevius.5ch.net/test/read.cgi/tech/1548720347/996
997: デフォルトの名無しさん [sage] 2020/02/08(土) 16:14:00.43 ID:pTX+YoHa HListのインサートとかソートとかのやり方の実装が乗ってるホームページ教えて 作ろうとしても難しくてできないから http://mevius.5ch.net/test/read.cgi/tech/1548720347/997
998: デフォルトの名無しさん [sage] 2020/02/10(月) 18:21:44.17 ID:gQeDR86I 次スレ https://mevius.5ch.net/test/read.cgi/tech/1581326256/ http://mevius.5ch.net/test/read.cgi/tech/1548720347/998
999: デフォルトの名無しさん [sage] 2020/02/10(月) 19:36:01.30 ID:gQeDR86I >>997 HList パッケージのソースをみるしかないかも https://hackage.haskell.org/package/HList-0.5.0.0/docs/src/Data-HList-HSort.html http://mevius.5ch.net/test/read.cgi/tech/1548720347/999
1000: デフォルトの名無しさん [] 2020/02/10(月) 20:28:59.42 ID:Q/biUbUo >>999 あざーす http://mevius.5ch.net/test/read.cgi/tech/1548720347/1000
1001: 1001 [] ID:Thread このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 377日 11時間 23分 12秒 http://mevius.5ch.net/test/read.cgi/tech/1548720347/1001
1002: 1002 [] ID:Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《プレミアム会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 月300円から匿名でご購入いただけます。 ▼ プレミアム会員登録はこちら ▼ https://premium.5ch.net/ ▼ 浪人ログインはこちら ▼ https://login.5ch.net/login.php http://mevius.5ch.net/test/read.cgi/tech/1548720347/1002
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s