Modify Program by Monad
Yasutaka Higa - profile not found -
研究目的
プログラムを変更することの詳細を知りたい
完成に近づいているか、実行結果はどう変わったか、など
過去のプログラムを保存しながら変更する Delta Monad を定義した
改変前と改変後のプログラムの実行結果から、正しく完成に近づく変更なのか判断する
Monad の理論的背景である圏論の視点から、プログラムが完成に向かうことはどう表現できるのか探る
近況報告
スライドのデザインちょっと変えました
圏論勉強会動画#3
Delta Monad
Pretty Print
Sample (Bubble sort)
圏論勉強会動画#3
Introduction of some Categories
1,2,3, Product Category, Functor Category …
Algeblic data type
Free Target
Magma, SemiGroup, Monoid, …
代数的位相幾何学もやろうぜって言われてたのでうわー
Delta Monad
Show を自前で定義しました
ちょっとは見易くなった?
どうだろう
Sample of Delta Monad
Bubble Sort を書きました
大きいのを取ってくるもの
改変として小さいものを取ってきて最後に反転させるもの
fmap でやらざるを得ない
どうせなのでfmapの時にも show するように
まだ証明はしてないです
結構こんがらがる
