[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
986: デフォルトの名無しさん [sage] 2020/02/06(木) 22:21:29 ID:AbsWoeSu >>971 そりゃ学位論文レベルの言語ならあるさ そもそもそのCPLとCSL(Categorical Specification Language)とを定義した萩野達也氏のエジンバラ大学に提出した件の学位論文は私も読んだ そして理論的には大変に興味深い研究だと思ったよ だが私が前の投稿で書いた「使い物にならない」の定義、つまり肯定形の「使い物になる」はソフトウェア工学的な意味で実用になるという意味だ つまりは「多数のプログラマによって実用プロジェクトで使える言語」という意味だ、より具体的な基準が必要だと言うのならば 「最低でも100万行のソフトウェア開発をそのプログラミング言語で行える」という意味だ 君が私の主張である「使い物にならない」を否定したければ、100万行とは言わぬまでもせめて10万行のソフトウェアを 複数人で開発するのにCPLだけでやってみてくれ、もちろん必要なCPLのライブラリ類は自分達で開発してね http://mevius.5ch.net/test/read.cgi/tech/1548720347/986
988: デフォルトの名無しさん [sage] 2020/02/06(木) 22:27:40 ID:AbsWoeSu >>977 だから能力として近いと言っているだけだよ 圏論という理論を勉強して理解できる能力と、大規模ソフトウェアを良い構造で設計する能力とはね 私がそう考えている理由は、どちらも抽象化や一般化といった思考の能力が重要だからだ 圏論を知らなければ良い設計が出来ないと言っている訳では決してない 970の最後の３行（空行はカウントしない）の意味するところは 勉強すれば圏論を理解できるようになる人は（抽象化や一般化の思考能力が高いので圏論を勉強していなくても）良い設計ができるだろう、という予想だ http://mevius.5ch.net/test/read.cgi/tech/1548720347/988
989: デフォルトの名無しさん [sage] 2020/02/06(木) 23:07:57 ID:AbsWoeSu >>987 > デバイスドライバーが書けない言語は使い物にならない それは又一つ別の定義だね 私個人としてはアプリケーションしか書けないプログラミング言語でも「使い物になる」ことを認めるけれども そういう定義をするソフトウェア技術者の立場はそれとして否定する気はない http://mevius.5ch.net/test/read.cgi/tech/1548720347/989
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.046s