さっきの記事だと、親が抽象クラスだとFatalエラーになるので、少し直した。

次の仕事はなかなか始まらない。 しかたがないので、PHPの勉強でもするために、プログラミングPHPという本を読んでいるが、この本へんだよ。サンプル動かないよ。古い本だから仕方ないのかと思って奥付みたら、2014/3/24て書いてある。

いろいろやる気は起こらないが、簡単そうなものならば読めそうなので、OCaml入門とか読む。http://www.fos.kuis.kyoto-u.ac.jp/~t-sekiym/classes/isle4/mltext/ocaml.html「関数適用と評価戦略」を読んで、初めて、 値呼び (Call by Value) 名前呼び (Call …

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っぽいものが出てきて、ここで扱われてる論理…

久し振りに見たら、While言語の問題が運営により？解禁されてた。Software FoundationのImp.vとほぼ同じ構造だったが、演習の問題が簡単すぎますわ。 もそっとだけ難しいの希望。 それはともかく、あのCoPLのオンライン演習は面白すぎるので、いにしえの昔の…

リストなどの構造に対する帰納というのがいまいち分かってない。チュートリアルみたいな簡単なのは出来るんだけど、ちょいと難しくなるとお手上げ。 というより、真ん中の難しさというのが、初学者にたいして何時も存在しない気がする。 はるか昔、Cを学んだ…