[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
970: デフォルトの名無しさん [sage] 2020/02/05(水) 18:14:57.84 ID:fFjiekZv >>966 > ここでよく題材として挙がるのは圏論だけど これは俺も必要性はあんま感じない プログラムを書く立場ならば圏論なんて知る必要は全くないよ そもそも仮に圏論を知らないと良いプログラムが書けないプログラミング言語があったとしたら そんなプログラミング言語は使い物にならない Haskellerなど一部のプログラマの間での昨今の圏論ブームは少なくとも私には単なる一種のファッションの流行にしか見えないし余り意義を認めない 他人の趣味にケチをつける気はないので、やりたければどうぞ御自由に、としか言いようがない 圏論を知る必要があるとすればプログラムを書く人間ではなくて新しいプログラミング言語の設計をする人間（の一部）だ ただ一つだけ圏論の勉強を擁護しておくと、規模の大きなソフトウェアをメンテナンスしやすい見通しのよい構造を持つように設計する上では 抽象化と一般化という思考能力、ある事柄や概念と他のどの事柄とが対応するのかを適切に理解し判断する能力は非常に重要だ そして数学において圏論の最も重要な効用は正にそういう一般化や抽象化といった思考法を書き表すための言葉としてだ 数学である分野での成果（例えば幾つかの定理や定義）を全く別の分野へと転用するといった数学の発展させ方が可能になったのは 正に20世紀中盤に圏論という言葉が生まれたからこそのお蔭だ だからプログラマが圏論そのものを勉強する必要性は乏しいと思うが、圏論を勉強して理解できる能力と大規模のソフトウェアを良い構造で設計できる能力とは 間違いなく共通した部分があり、正の相関があるのは確実だと個人的には考えている そういう意味では圏論の勉強は大規模ソフトウェアの設計に向く設計者か否かのフィルタリングに使えるかも知れないね http://mevius.5ch.net/test/read.cgi/tech/1548720347/970
971: デフォルトの名無しさん [] 2020/02/05(水) 18:19:38.12 ID:hXjs1EZI >>970 >そもそも仮に圏論を知らないと良いプログラムが書けないプログラミング言語があったとしたら CPL(Categorical Programming Language) まずは Wikipedia を参照汁 http://mevius.5ch.net/test/read.cgi/tech/1548720347/971
977: デフォルトの名無しさん [sage] 2020/02/06(木) 01:01:03.47 ID:OGs/tKtL >>970 大規模ソフトウェアのメンテにおいて、 圏論を知らないとこのように失敗するが、 知っているとこのように成功する、 という具体例を挙げられますか？ または、具体例を挙げて説明している本やブログ、 カンファレンスなどを紹介できますか？ http://mevius.5ch.net/test/read.cgi/tech/1548720347/977
979: デフォルトの名無しさん [sage] 2020/02/06(木) 07:32:25.39 ID:OGs/tKtL >>978 それは分かっています。 >>970 が圏論による成功例を知っているのなら教えてほしかったのです。 一件も挙げられず、ただ大規模ソフトウェアには大事だと言っているだけでしたら、 とても残念です。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/979
984: デフォルトの名無しさん [sage] 2020/02/06(木) 12:12:18.67 ID:OGs/tKtL >>983 個人的でもそう考える根拠が何かあると思います。 何かの記事でそう語っているのを見たとか、 自分が携わったプロジェクトで実感したとか。 記事なら出典を知りたいですし、 実感したのならもう少し具体的な話を聞きたいです。 と言うのも、今までもここで圏論を語る人はたくさんいましたが、 私の知る限り誰一人として役立った例を具体的に語った人はいませんでした。 >>970 は久しぶりに長文で熱く語っておられるので、 もしや具体例を挙げられるのではと思い聞いてみました。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/984
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s