論文 http://www.smalltalksystems.com/publications/_awss97/SSDCL1.HTM スライド http://www.smalltalksystems.com/publications/_awss97/INDEX.HTM ANSI Smalltalk draft http://wiki.squeak.org/squeak/uploads/172/standard_v1_9-indexed.pdf 先日 http…

http://sdg.csail.mit.edu/pubs/2002/alloy-journal.pdfAlloy が難しく見えるのはオブジェクト指向っぽい文法とその意味に隔たりがあるからかも知れません。Alloy のアイデアが書かれてあるこの論文を読んで思いました。この論文のおすすめ読み方。 1. 導入…

http://d.hatena.ne.jp/oraccha/20090606/1244225100 経由で。C# の Select() 関数についてひとしきり文句を書いた後に、実際良い API を作るコツを挙げている。 API は必要な機能を備えろ タイムアウトが 35 分以内で無ければならないとか、微妙な制限があ…

http://www.irisa.fr/asap/intranet/the-many-faces-of-publish-subscribe.pdfpublish / subscribe とは、通信方法の一つで、生産者と消費者間が以下の三つの点で依存しない方法。 Space (空間:お互いのポインタ) Time (時刻) Synchronization (同期: 処理中…