Software Foundations の ImpParserがあまりに分からなくてつらいので、コンパイラ方面のページを最近あちこち漁っていた。llvmというのがよいらしい。http://peta.okechan.net/blog/llvm%E3%81%AB%E3%82%88%E3%82%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E…

http://cs.brown.edu/~sk/Publications/Books/ProgLangs/ を読んで、コードを実行したい場合。 DrRacketをインストールします。 メニューの「ファイル」->「install package」を選択。 Package Sourceというエディットボックスに、plai-typed と入力してOKを…

PHPプログラマがなんかソシャゲバブルの影響で数が足らんそうですよ。単価はJavaプログラマより安いらしいけど。

突然いろいろやる気を失なった。Coqむず杉。関数型言語ってよく知らんからその勉強がてら読みはじめたのが去年の今ごろだった。SoftwareFoundationsそもそも読み初めようと思ったのは、SICP読んでて、4章でprologっぽいものが出てきて、ここで扱われてる論理…