20/02/06 11:47:37 sigCaOr9.net
横からだが
個人的に考えてる、と断ってるじゃん
単なる個人の感想
お前はそこに証拠を求めてる
何がしたいの？
992:デフォルトの名無しさん
20/02/06 12:12:18 OGs/tKtL.net
>>983
個人的でもそう考える根拠が何かあると思います。
何かの記事でそう語っているのを見たとか、
自分が携わったプロジェクトで実感したとか。
記事なら出典を知りたいですし、
実感したのならもう少し具体的な話を聞きたいです。
と言うのも、今までもここで圏論を語る人はたくさんいましたが、
私の知る限り誰一人として役立った例を具体的に語った人はいませんでした。
>>970 は久しぶりに長文で熱く語っておられるので、
もしや具体例を挙げられるのではと思い聞いてみました。
993:デフォルトの名無しさん
20/02/06 13:45:00 sNihMBVC.net
>>977
URLﾘﾝｸ(kymst.net)
994:デフォルトの名無しさん
20/02/06 22:21:29 AbsWoeSu.net
>>971
そりゃ学位論文レベルの言語ならあるさ
そもそもそのCPLとCSL(Categorical Specification Language)とを定義した萩野達也氏のエジンバラ大学に提出した件の学位論文は私も読んだ
そして理論的には大変に興味深い研究だと思ったよ
だが私が前の投稿で書いた「使い物にならない」の定義、つまり肯定形の「使い物になる」はソフトウェア工学的な意味で実用になるという意味だ
つまりは「多数のプログラマによって実用プロジェクトで使える言語」という意味だ、より具体的な基準が必要だと言うのならば
「最低でも100万行のソフトウェア開発をそのプログラミング言語で行える」という意味だ
君が私の主張である「使い物にならない」を否定したければ、100万行とは言わぬまでもせめて10万行のソフトウェアを
複数人で開発するのにCPLだけでやってみてくれ、もちろん必要なCPLのライブラリ類は自分達で開発してね
995:デフォルトの名無しさん
20/02/06 22:27:12 sUAmWprm.net
簡単な判別法がある
デバイスドライバーが書けない言語は使い物にならない
996:デフォルトの名無しさん
20/02/06 22:27:40 AbsWoeSu.net
>>977
だから能力として近いと言っているだけだよ
圏論という理論を勉強して理解できる能力と、大規模ソフトウェアを良い構造で設計する能力とはね
私がそう考えている理由は、どちらも抽象化や一般化といった思考の能力が重要だからだ
圏論を知らなければ良い設計が出来ないと言っている訳では決してない
970の最後の３行（空行はカウントしない）の意味するところは
勉強すれば圏論を理解できるようになる人は（抽象化や一般化の思考能力が高いので圏論を勉強していなくても）良い設計ができるだろう、という予想だ
997:デフォルトの名無しさん
20/02/06 23:07:57 AbsWoeSu.net
>>987
> デバイスドライバーが書けない言語は使い物にならない
それは又一つ別の定義だね
私個人としてはアプリケーションしか書けないプログラミング言語でも「使い物になる」ことを認めるけれども
そういう定義をするソフトウェア技術者の立場はそれとして否定する気はない
998:デフォルトの名無しさん
20/02/06 23:44:41.47 r1DVX1M4.net
人間の社会の役に立つ勢力の定義が存在するのか？
まずは存在を疑うのが無駄な努力をしない秘訣
999:デフォルトの名無しさん
20/02/07 00:02:21 sQmwkFjl.net
圏論が実用言語に向いてないのと同様に、989
1000:は5chに向いてない
1001:デフォルトの名無しさん
20/02/07 00:15:35 MJwijXd8.net
そんなことないでしょ
1002:デフォルトの名無しさん
20/02/07 01:41:24 Fnc0TnWe.net
オオオオチンポ
1003:デフォルトの名無しさん
20/02/07 08:09:04 ruz5n033.net
javascriptでデバイスドライバは書けないわな
圏論とやらが必要な分野で使えばいいだけの話
1004:デフォルトの名無しさん
20/02/07 12:13:54 PWhN+bN7.net
>>990
未知のウィルスに対する検疫等の防衛が出来るのも人間に役立つ能力
いまの役人の対応観てたらあほばっかりだと思うだろ
1005:デフォルトの名無しさん
20/02/07 13:01:46.27 3L88mYwi.net
まだ定義してないのにフライングできる奴は
定義が存在しないパターンを知ってるからそれができる
1006:デフォルトの名無しさん
20/02/08 16:14:00 pTX+YoHa.net
HListのインサートとかソートとかのやり方の実装が乗ってるホームページ教えて
作ろうとしても難しくてできないから
1007:デフォルトの名無しさん
20/02/10 18:21:44.17 gQeDR86I.net
次スレ
ｽﾚﾘﾝｸ(tech板)
1008:デフォルトの名無しさん
20/02/10 19:36:01.30 gQeDR86I.net
>>997
HList パッケージのソースをみるしかないかも
URLﾘﾝｸ(hackage.haskell.org)
1009:デフォルトの名無しさん
20/02/10 20:28:59 Q/biUbUo.net
>>999
あざーす
1010:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 377日 11時間 23分 12秒
1011:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています