きちんとした教科書に当たってない訳だが... 型理論というのは，データやソース片に付加し得る属性と言うか，今流行りの言葉で言えばアノテーション（？）を，ソースの静的分析によってどこまで詳しく自動付加できるか追求してるみたい．そしてそこで使われ…

ところで今の私は本来こんなことをやってるヒマはないのだが，上記の話が必要になったときにそれにいっぺんに打ち込める保証もないし，何よりストレス解消の側面が大きいので，大目に見て下さい > 関係各位 あぁ私という人間は不便に出来ているものだなぁ． …

id:sumii先生からは大堀先生のSML#についてお勧めいただいた．しかしSML#は色々新しい着想に基づいてるようで，MinCamlを追うのもいっぱいいっぱいな私にはそれすらまだ早いかな． ただまぁ一応SML/NJについてのメモ．SML/NJが「すさまじい」というのは goog…

id:flappphys:20041115#p1 で触れたGCの実装についてのチュートリアルがいつの間にか更新されていたようなので，改めて読んでみた． http://www.logos.t.u-tokyo.ac.jp/~endo/gc/gc.pdf 一般教養としてのGarbage Collection ときが経ってから再び読むとやは…