derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category Haskell/Scala 妄想を炸裂させてみる。 Haskellの世界にHaskellの圏 Haskell とかいうのがあるとかないとかよく知らない。 こいつについて何も知らないが妄想してみよう。 Objects: Haskellの型; Integer, Double, [Char], (Integer, Char), Integer -> Integer, ... Arrows: Haskellの関数(カリー化された関数*1 ) といったところだろうか。 副作用がないことから、結合則などはそのまま成立しているだろう。arrow の domain はその arrow に対応する関数の入力引数の型で、codomain は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F07%2F222348" title="圏論(25)とHaskellと - らんだむな記憶" 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 2016-02-07 22:23:48 rich https://randommemory.hatenablog.com/entry/2016/02/07/222348 1.0 100%