トップ «前の日記(2003-10-25) 最新 次の日記(2003-10-28)» 月表示 編集

日々の流転


2003-10-27 [長年日記]

λ. 自動定義されるメソッド

Ruby-GNOME2ではプロパティにアクセスするメソッドなどは実行時にリフレクション機能を使って定義してる。当然これらのメソッドの定義はソースコード上には直接は現れない。で、これらの機能が実装されていないと勘違いしてパッチを送ってくる人が後を絶たないのだ。これにはちょっと、う・ん・ざ・り。HACKINGみたいなファイルを作って、そこに注意を書いておくべきか。

Tags: ruby

λ. Practical Foundations of Mathematics

Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics)(Paul Taylor) Digital Nietzsche(2003-10-17) より。こういうのがWebで公開されているのは本当にありがたい。Algebra with Dependent Types なんて興味をそそられるじゃないですか。

Tags:

λ. Proofs and Types

0521371813 同じく Digital Nietzsche(2003-10-17) より。

Tags:
本日のツッコミ(全1件) [ツッコミを入れる]
ψ むとぽん (2003-10-30 12:47)

同感です。<br>一応、http://ruby-gnome2.sourceforge.jp/hiki.cgi?How+to+Implement+Ruby-GNOME2<br>には書いてあるんだけどなぁ。<br>FAQとかいうページを作ったほうが良いかな。