型付きλ計算で不動点演算子が使えない話の続き

lambda

Erlangでパーサ・コンビネータ - kgbu?では、自分で証明できなかったので、プログラム意味論 (情報数学講座)で参考文献に挙げられていたプログラミング言語の基礎理論 (情報数学講座)のp.130あたりを読んでみた。
だいたい納得できた。やはり、有限の型では型付けができない、という話になるようだ。この場合、型のほうを拡張して、再帰的な型の定義ができればなんとかなるらしい。なるほど。

ETS instance erased when owner process died

Erlang

Erlangの組み込みストレージ機能として、オンメモリのETSと、ディスク上にデータを格納するDETSというのがあるが、その機能のテストをコマンドラインから実行していてハマッタというのが↓の話。
This happens frequently while testing Erlang comand-line interface.
like this

44> C = ets:new(nn,).
17
45> ets:all().
[ac_tab,
 inet_db,
 inet_hosts,
 file_io_servers,
 inet_cache,
 global_pid_ids,
 global_names_ext,
 global_locks,
 global_names,
 global_pid_names,
 17,
 13,
 12,
 11]
46> ets:info(C).
[{memory,279},
 {owner,<0.92.0>},
 {name,nn},
 {size,0},
 {node,nonode@nohost},
 {named_table,false},
 {type,set},
 {keypos,1},
 {protection,protected}]
47> [TT] = ets:lookup(C,aa).

 =ERROR REPORT==== 27-Jun-2008::16:58:14 ===
Error in process <0.92.0> with exit value: {{badmatch,},[{erl_eval,expr,3}]}

 ** exited: {{badmatch,[]},[{erl_eval,expr,3}]} **
48> ets:info(C).            
undefined

Why use English? 'cause I dont want to have 2 instances of Firefox

It is excessive.
And I need to use Ubuntu while debugging something Erlang code.
There may be some useful Input method of Japanese, but I have no time to setup.
↑
メモリが１ＧのマシンでXP上のVMware ServerでUbuntuを動かすと、結構重いのでした。それでFirefox２インスタンスという贅沢はできず、日本語を使わなかったのでした。

Try to use M+ outline fonts

M+ OUTLINE FONTS
it looks soft.

On my Ubuntu (virtual)machine, just expand tar-zip file in /usr/share/fonts/truetype directory, then each application can locate them immediately.
M+フォントのアウトライン版で、教育漢字までは揃った、というニュースでした。早速Ubuntuの環境に取り込んでみました。けっこういい感じです。

I'm bugging-in my code. lib_chan does now work as I thoght

Erlang

here is my test-code, and results. I'm reading プログラミングErlang p. 333
この本についているコードって、結構更新されてるんでしょうかね。現在はR12B3が出たということで、確かにR11B5で動くコードそのままってわけにはいかないかも。
結局、あらかじめ必要なコードをmakeして作っておけということだったので、以下は誰の参考にもならないハマり例ということでした。

続きを読む