2010-02-01から1ヶ月間の記事一覧
ようやく数値の計算ができるようになったので、クイックソートを実装してみます。
前のエントリでさりげなく"best"を使っていましたが、こういう単語(つまりソートに関して不変)は何個ぐらいあるのかWikipedia(英語版)から抽出した単語リストで調べてみました。
ようやくGC(とλ-liftingとletrec)を実装しました。今回はその説明です。
case式の変換を実装したので、ようやくHello Worldできます。しかし・・・
Arch Linuxのインストールと設定。
はてなのファイルアップロード機能は有料なので、画像でないファイルを参照したいときには置き場所を確保する必要があります。 そこで以前からweb application(非公開)やWiki(個人使用)を動かしていた自宅サーバーを使っていました。 問題はそのサーバーが今…
今度こそうまくいったので、成果と今後の方針について。
今回は初めてhs2bfでコンパイルが通るようになった(注:バグあり)ので現状の説明と合わせて報告します。
G-machine->Brainfuckの中間言語を考えてみます。