プログラムのデバッグ支援(仮)
Yasutaka Higa
- 卒研用テーマを考え中です
- プログラミングのデバッグやリファクタリングを支援するツールを提供します
- ゼミはたぶん三週間ぶりです。おひさしぶりです
- 近況報告
- 卒論のネタについて
- 灘高の圏論の冊子を流し読みしてました
- Strong Noramization は、「lambda は有限回のβ簡約によって簡約の手順に関わらずに正規形になる」とのこと
- 流し読みしましたが、「こういう圏はこういうデータ構造などにマッピングされる」みたいな紹介でした
- 利点欠点は分からず……
- R on System F はちょっとやりましたれどやっぱり無理だったので投げてます
- Parallel Debugger
- tmux + tmuxinator で単純なものならできる
- 追加するとしたら
- Diff Highlighter
- work with Mercurial
- Eq Function
- 任意の関数2つの等価性を証明無しで判定する
- 用途としてはリファクタリング前後の正当性の
- 全てのobjectを lambda term に落として正規形を比較でいけないかな、とか
- 課題
- Pattern match をしなくても良いように
- 制御構造全てを lambda-term に落とせるか
- 欠点
- そもそも新規性があるのか
- メリットはあるのか
- 正規形が同じものしか比較できない
- プログラムの静的解析になる?