2009-02-01から1ヶ月間の記事一覧

デバッグ情報

なんかデバッグ情報が少しまともになってる。-disable-optを付けること。最適化したら実態の無いラベルを参照したりする;; トランポリンの扱いも少しまともになってる。相変わらずフレームポインタ使ってはくれないけど。 そのうち使い方をまとめたい……。

あれ、俺いつのまにAda Issuesに妄想を投稿したっけ……

Ada

http://www.ada-auth.org/AI05-SUMMARY.HTML Ada IssuesにあまりにもAdaらしくない提案が連投されて、Randy氏が投げた……。 Following is one of a number of "trial-balloon" proposals for future enhancements to Ada. I've been thinking about these mor…

Ada Hackathon補足

Ada

Agdaいいですね。(枕詞) さて、当日までひとりHackathonを覚悟していたのですが、最終的に5人になりまして、皆様ありがとうございました。 石川さんはNACLの遥か先のステージへ。稲葉さんやh_sakuraiさんはきちんとAda「を」作っていて凄いと思いました。shi…

問題です。

Ada

次のプログラムはなんと出力するでしょう。 with ada.text_io; with ada.integer_text_io; procedure a is k : boolean := true; type t is record x : integer; end record; function z return t is x : integer := 10; begin if k then k := false; ada.in…

訂正です。

Ada

ちょっと行ってみたのですが、場所を間違えてた気がしました。すみません。それにしてもあの辺ルノアール系列店が固まってるような……?そして新宿周辺は何度行っても迷えるのでした。

買っちゃった買っちゃった

Key

マジェスタッチの茶軸買っちゃった。

多相バリアント

アップキャスト/ダウンキャストのメモ。 # type super = [`a | `b | `c];; type super = [ `a | `b | `c ] # type sub = [`a | `b];; type sub = [ `a | `b ] # ((`a : sub) :> super);; - : super = `a # match (`a: super) with #sub as x -> x | `c -> as…