2003-10-27 [長年日記]
λ. 自動定義されるメソッド
Ruby-GNOME2ではプロパティにアクセスするメソッドなどは実行時にリフレクション機能を使って定義してる。当然これらのメソッドの定義はソースコード上には直接は現れない。で、これらの機能が実装されていないと勘違いしてパッチを送ってくる人が後を絶たないのだ。これにはちょっと、う・ん・ざ・り。HACKINGみたいなファイルを作って、そこに注意を書いておくべきか。
λ. Practical Foundations of Mathematics
Digital Nietzsche(2003-10-17) より。こういうのがWebで公開されているのは本当にありがたい。Algebra with Dependent Types なんて興味をそそられるじゃないですか。
λ. Proofs and Types
0521371813 同じく Digital Nietzsche(2003-10-17) より。
同感です。<br>一応、http://ruby-gnome2.sourceforge.jp/hiki.cgi?How+to+Implement+Ruby-GNOME2<br>には書いてあるんだけどなぁ。<br>FAQとかいうページを作ったほうが良いかな。