its_out_of_tune https://blog.hatena.ne.jp/its_out_of_tune/ Creatable a => a -> IO b https://tune.hateblo.jp/ 「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、サブタイトルに「数学」なんて入れつつも、 数学の話はほとんど出来なかったりとか出来たりとか・・・結局Haskellの記事しか書いてないですね、はい。 ただ、どちらかというと、Haskellでも処理系どうのとか、パフォーマンス云々とか、 そういう話より型システムでどうやって抽象化するかーみたい… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftune.hateblo.jp%2Fentry%2F2015%2F01%2F22%2F023102" title="プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a =&gt; a -&gt; IO b" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-01-22 02:31:02 rich https://tune.hateblo.jp/entry/2015/01/22/023102 1.0 100%