プログラムのデバッグ支援
Yasutaka Higa
- プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
- しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
- ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
- これによりリファクタリング支援や後方互換性の支援などを行なう
- Agda で証明始めました
- 卒研は英語で発表しようと思っています
- 11月中旬くらいまでに目処を付けたいです
- Similar の定義だけ
- あとは String と List を使いそうなのでそれも
- 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?)
- mu . fmap mu = mu . mu : TTT -> TT
- ネーミングの話
- これってどこが ‘Similar’ なの
- 分岐するので Divergence Monad とかかなー、と考え中