[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
30: ◆QZaw55cn4c 2019/02/03(日)21:31:19.47 ID:t4xt++Qj(4/20) AAS
>>23
＞1 - 1で fact 0をevalしてまたfact(1)になる
＞fact 0 = 1
というのは、関数 fact のうち fact(0) (引数が 0) のときの値は 1 である、と確定的な記述をしています。ここで答えが決まったので、さらに答えを求めるための関数適用作業には入りません、それはそういう意味です
どうして eval したあと fact(1) になる、と判断したのでしょうか？
fact(0) = 1 の 1 というのは fact() の値であって、fact の引数ではなく、また fact の引数になりうる記述は 「fact 0 = 1」という記述の中には見つからないのですが
＞fact n = n * fact (n - 1)
この記述のなかには、たとえば 引数が 7 だとすると「 fact 8 を fact 7 の値をつかって表現する」ということですから、fact 8 を eval する「途中で」 fact 7 を eval しようとする、ということは書かれています
204: 2019/02/23(土)21:37:05.47 ID:wr+1lm8V(1) AAS
読んでいるサイトが悪いのではないかなあ
すごいH本とか
HaskellではなくてOcamlだけど浅井『プログラミングの基礎』とかを読んだ方が
良いレベルだと思う
568: 2019/10/17(木)21:34:43.47 ID:AvAuJv6u(1) AAS
関数脳になるとどんな利点があるのかな？
手続記述は使い回ししにくい？
参照透過性が確保されていて型の情報があれば
算法の記法が手続き的か定義的かを問わず
どちらでもいいような気もするが
588: 2019/10/21(月)11:02:55.47 ID:Spzp+9MC(1) AAS
「自己関手の圏」の中身を説明しないからわけがわからない
関手の合成は積？
恒等関手は単位対象だが終対象ではない？
うっかり始対象になったりしたらそれ積じゃなくて和じゃないか
636(1): 2019/10/25(金)18:07:06.47 ID:mPFGj3TJ(1) AAS
>>633
そこは売り言葉に買い言葉だったんじゃねーの。
俺は雑な主張はアリだと思うし、それに対する善意の解説もいいと思うぞ
651: 2019/10/28(月)15:11:56.47 ID:CizzAz3Z(1) AAS
恥の上塗り
685(1): 2019/11/03(日)21:49:28.47 ID:j4VhEtAF(3/3) AAS
>>684
むしろそちらの方が専門に近いのですが、
どういうことか教えていただけますか？
696(1): 2019/11/04(月)07:07:21.47 ID:PrFaR+H+(2/3) AAS
>>695
マジでHaskellは数学者が数学者の為にデザインしたみたいなものなので
ネット上のコードも数学的専門性に全振りしたものが普通にある
そんなのは数学の専門課程と無関係な人間には理解できない
だけど、英文の赤黒木を扱うHaskellのコードは恐ろしくスッキリ短くて
余分なノイズが少ない
全体の把握が楽だった、恐ろしく高密度かも
コメントで書く詳細説明≒Haskellのコード
723(1): 2019/11/06(水)23:00:13.47 ID:E2YfCG0n(2/2) AAS
数学自体は結構勉強したけど 圏論のよさはよくわかんね
ある意味数学の分野で一番かもしれない、圏論のよさが分からんのは
次はホモロジー代数かな
代数幾何は一番時間食ったけど、理解できていないので除外するけど
820: 2019/12/01(日)17:20:16.47 ID:m0gK1jxj(1) AAS
>>817
一つの型理論に対するモデルは原理的に様々なモデルがあり得る
その様々なモデルをまとめて特徴づけるのには圏論が便利なんだよ
いわゆる圏論的モデルだよ
圏論的モデルというのは本来の（数理論理学での）意味での具体的なモデルでなくて
与えられた理論に対するモデル全般が満たすべき性質の圏論による公理化とでも言ったほうが良い感じの代物だからね
それと型理論に応じて圏論モデルとしての圏には特有の興味深い構造（例えばデカルト閉圏とかモノイダル閉圏とかね）を持つケースが多い
827: 2019/12/02(月)20:42:42.47 ID:Y5cjsI9c(1) AAS
>>822
完全性定理でググレカス。
977(3): 2020/02/06(木)01:01:03.47 ID:OGs/tKtL(1/4) AAS
>>970
大規模ソフトウェアのメンテにおいて、
圏論を知らないとこのように失敗するが、
知っているとこのように成功する、
という具体例を挙げられますか？
または、具体例を挙げて説明している本やブログ、
カンファレンスなどを紹介できますか？
983(1): 2020/02/06(木)11:47:37.47 ID:sigCaOr9(1) AAS
横からだが
個人的に考えてる、と断ってるじゃん
単なる個人の感想
お前はそこに証拠を求めてる
何がしたいの？
990(1): 2020/02/06(木)23:44:41.47 ID:r1DVX1M4(1) AAS
人間の社会の役に立つ勢力の定義が存在するのか？
まずは存在を疑うのが無駄な努力をしない秘訣
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s