Map の代数的構造と差分によるプログラミング
どんどん話が面白くなっているので期待しかない。
-
- いいね！1
heno
@_heno
@pokarim "Deterministic, error correcting parser combinators" でしょうか？ d.hatena.ne.jp/Otter_O/200806… haskell.org/arrows/biblio.… en.wikibooks.org/wiki/Haskell/U…
2017-01-03 23:06:34
リンク
はてなダイアリー
Arrowのことその3 - 取り急ぎブログです
前回までArrowの概要をザーッと流したわけなんですが、取りこぼしたことをいくつか… ArrowはWrappedArrow..
2 users
pokarim
@pokarim
ラムダ式的な関数は、たとえファーストクラスであってもデータと同様に扱えるわけではなく、扱いづらい側面が残るというのが、当たり前だけど案外見落とされがちなところではないかと思います。
2017-10-04 10:56:30
pokarim
@pokarim
おそらく計算機以外の数学の文脈だと同型であれば一緒で終わりがちなところなので、このあたりがいかにも計算機というかプログラミング特有の問題で面白いですね（？
2017-10-04 11:00:20
pokarim
@pokarim
むちゃくちゃ雑にいうと Operation-Based と State-Based の違い、外延的な定義と内包的な定義の違い、これらをコード上から捨象できると幸せになれるのでないだろうかということになるかもしれない。
2017-10-04 11:03:38
m2ym
@m2ym
今まさに実現したいアイデアが一つあって、そのアイデアはきっと他の人にもおおいに役立つと思うのだが、肝心の議論の場がぐちゃぐちゃにされたら困る、ということかもしれない。
2017-10-02 23:17:50
m2ym
@m2ym
色々考えてやはり自分のアイデアをちゃんと書かないとダメだという結論に達した。まだまだ幼稚なレベルだけど主観的にはすでに立派な結果が出たと考えていいはずだ。
2017-10-03 00:19:25
m2ym
@m2ym
この成果を人類の知恵として広く公開しないことには自分本位であることは免れないので私利私欲は一切無視してありのまま自分たちの発見をそのまま詳細に記述すべきなのだろう
2017-10-03 00:32:11