プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b

「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、サブタイトルに「数学」なんて入れつつも、 数学の話はほとんど出来なかったりとか出来たりとか・・・結局Haskellの記事しか書いてないですね、はい。 ただ、どちらかというと、Haskellでも処理系どうのとか、パフォーマンス云々とか、 そういう話より型システムでどうやって抽象化するかーみたいな、そういう話のほうがおもしれーとか思ったりしたので、 気づいたら圏論なんかはガジガジしてまして、多少の自己流の知識があったりとかなかったりとかしてるのです。 純粋関数型やらHaskellやらがメジャ

[igrep]

敢えてここで持論を述べるなら、プログラマにとっての圏論は社会学者にとっての統計学みたいなもんだと思ってる。詳しい仕組みを知るに越したことはないけど、知らなくても使えればいい。

[Untouchable]

物事を抽象化して、そこに何らかの「構造」を見出すのが数学なんだろうなと思っております。問題が同じ構造であることがわかれば、同じ解決法が使えることがわかったり。そんな私は数学オンチですけれども

[osamtimizer]

[]

[south37]

“ HaskellのFunctorはその中でも、自己関手という特殊な関手を実装に落とし込んだもの”よくまとまってて良いなーと思ったけど自己関手に限定した記述はおかしいような気が。例えばリスト関手はHaskからLstへの関手だし。

[le_penseur]

via Pocket January 22, 2015 at 08:40PM

[naotor]

“「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ ”

[masarusanjp]

圏論、勉強したいんだけど、何をとっかかりにしていっていいかわからない。何か良い書籍ないかな

[amaliche]

まぁ実務で役立つ知識ではないし、色んな意味で近寄りがたい。

[clavier]

プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b

[oxoofo]

<- fumieval, yuroyoro, kiris

[katsuren]

この説明わかりやすかった

[iekusup]

ほー。