Finding the Source of Type Errors
型エラーの原因を見つける手法の提案。ちょっと古い。手法としては、単一化する際に型変数の値が決まればその理由を記録するというもの。理由って何かとか細かいことは全然書かれていない。
author="Mitchell Wand",
title="{Finding the Source of Type Errors}",
booktitle="POPL'86",
publisher="ACM",
pages="38--43",
year="1986"
ことえり
Mac を使うようになって半年くらい経ってそれなりに不満もなく使ってるけど、どうにもストレスなのがことえり。MS-IME は「頭悪いなぁ」とか言いながらもそれなりに学習もするし ATOK にしようかと思いながらも使い続けてるけど、ことえりは MS-IME とも比較にならないほど変換がおかしくて日本語入力が苦痛。ついでに操作性もよくないし。Canna でもここまでストレスにならなかったような…。ということで ATOK の導入を検討中。今すぐ買うなら 2008 for Mac だけど、2009 for Mac のベータテストが始まってるらしいからもう少し待つかどうするか。