https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 俺、今日の中間発表が終わったらGrassからBrainfuckへの変換器を書くんだ… | |
| @cpp_akira 無事に帰って来れても、GrassからBFへの変換とかそれ自体死ねるという完璧なデストラップ | |
| http://steps.dodgson.org/?date=20080831 C++の場合もう一つ、CoWでも思うほどはコピーを遅延できない、というのがあったりするよね。非constなbegin()やoperator[]を呼んだ瞬間にコピーしないといけないので | |
| 文字列はImmutable派 | |
| @hogelog Shiroさんのそのまとめはホント素晴らしすぎる | |
| 中間発表おわた！そしてネットにつないでみたら http://www.fsttcs.org/accepted_papers.php 通ってた！！！ | |
| @uwitenpen ありがとうござますー。すごい死亡フラグ状態 | |
| Grassの仕様印刷ちゅー | |
| @ochamecool ありがとうございます！つかれたー | |
| @alohakun 副作用はともかくとして、手続きは普通に書けますよっと＞Coq | |
| @alohakun それもありますし、「存在証明からプログラムを導出する」スタイルよりは、「プログラムはプログラム仕様は仕様、で書いて整合性を証明する」スタイルの方がCoqerにはメジャーかと | |
| Grassむずいぞ。ChurchBooleanがうまく書けない… | |
| そーかわかった。Lx.Ly.x は最後にxを返そうとするんじゃなくて一歩手前"Ly.xを返す"で足を止めないといけない。 | |
| いやわかってない | |
| 上野さんのコード ChurchTrue = Fn.new([Abs.new([App.new(3,2)])], [Fn.new([],[])])。そうかコード空にすると恒等関数だからそれを使えばλ式の変数に対応する項が作れるのか。なるほど！ | |
| のーみそこねこねに変換以前の問題としてインタプリタすら書けない俺wwwwWWWwWWWWwww | |
| http://www.blue.sky.or.jp/grass/doc_ja.html D0がコレになってる理由がわかんない。プログラム全体の評価値を自分自身に適用…？ | |
| 違う、直接グローバルにappするんじゃなくて、main関数の定義が最後に来るのがただしいGrassプログラムなのか。OKわかった。インタプリタできた |