Adaだとどうするん？と思って適当にそれっぽいコードを書いたところ、普通にキャストすれば良さそうな感じ。*1 with Ada.Text_Io; procedure Dsp_Test is package Bs is type B is tagged null record; procedure Method(Obj: in out B); end Bs; package bo…

Java弄っててふと疑問に思ったのでググった結果をメモ。 Java でメソッドを静的にディスパッチする - odz buffer Java でインスタンスメソッドを静的にコールする方法はない？ ２ - Smalltalkのtは小文字です とりあえず普通に使ってる分には無理、という理…

http://www.adacore.com/2007/05/28/gem-3/ 「limited typeを返すような関数が書けるよ！」 #1と#2から、limited typeにも代入できるようになったので関数が使えるようになりました。 中身の説明が興味深い。 In this case, Rumplestiltskin_Is_My_Name is a…

予想通り全く続かなかったんですけど。

null=Hoge'Access でGNATが落ちる…

http://www.adacore.com/2007/05/21/gem-2/ 「aggregateで型の既定値使えるようにしたよ！」 #1の例で相変わらずZはエラーですが、Bの初期値として<>を与えることで、 X:T; -- 正しい。X.A=42, X.B='@' Y:T := (A=>99, B=>'0'); -- 正しい。 X.A=99, X.B='0'…

http://www.adacore.com/2007/05/14/gem-1/ 「limitedでもaggregate使えるようにしたよ！」 例えば、以下のTとX,Y,Zを考えたとき、 type T is limited record A:Integer:=42; B:Character:='@'; end record; X:T; Y:T:=(A=>99,B=>'0'); Z:T:=(A=>64); Ada95…

なんかネタで縛りかければ持続するかな、とか（以前の記憶から目を逸らしつつ） というわけで1日1gem斜め読み開始。 横に読もうが縦に読もうが得られる情報に大差がないお察しな英語レベルですけど。

MacBook Air 11インチ欲しい！ そういえばいつぞやHPがTwitterで同じようなことやった時に、HPのアカウントをフォローしてそのままだ…