とあるJavaのソースコードを見てたら、 while(condition){ if(other_condition){ : }else{ : }/*end if*/ }/*end while*/ というようなコメントの使い方ばかりだったので、「これならAda使った方がマシじゃないか？」と思ったり。

最近Adaに触ってない…。 元々憶えてないのに、どんどん忘れてる…。 しかし、Adaは単語の並びから何となく内容を推測できるので、忘れてもソース読み直すのが楽＆ソース読み直して思い出せる（ような気がする）ので良いです。 学習のコストは高いですが、再学…

id:ytqwertyさんに触れていただいていたので。 開催は知ってたのですが、能力不足*1で躊躇していたところ、年末年始で色々あって、気がついたら開催日時が外せない日と重なってしまったのでした。 …その間にWhitespace実装したりAdaのメモとか書いたりしてま…

dokuwikiのアップデート、上書きのみで大丈夫かと試したが失敗。 しかたないのでクリーンインストールしてデータを書き戻す事にする。 が、それにも失敗。 動きはするが、data/*のパーミッションがおかしいっぽい。 とりあえず747で動かしてみる→OK→恐ろしい…

後日引っ掛かった時のためのメモ。 面倒なのでPortfileを修正。 が、セミコロン追加しても何も変わらないし、原因を考えるのも面倒なのでxargsに丸投げ。 r87_0時点ではこんなのでOKだった。 37c37 < system "find ${worksrcpath} -name .svn -type d -exec …

書いてて混乱してきた…

type FooBar is digits Baz; こんなん。オプションでrange Foo..Barとかがついたりする。付けた場合、値はその範囲に束縛される。 実装の中身については、当然ながら特に決まりはない。 ただし、BazはSystem.Max_Base_Digitsの値を越えてはいけない。 さらに…

浮動小数点数 floating point と固定小数点数 fixed point の2種類。 共通の属性は（恐らく）無い。

http://erlang-users.jp/ な、なんだってー そんなものがあったのか…Erlang Worldしか知らなかった…

そんなんだからいつまでたっても大きなガキなんだよね。

ErlangによるWhitespace実装、「その１」とか銘打ったわりに「その２」がないですね。 完全に書くの忘れてます。というか実装し終わったから飽きてます。

続きとか手直しは明日…以降のいつか。 夜更かししてしまった…。明日がヤバイ。

type My_Modular is mod 256; みたいなやつ。この場合、取り得る値の範囲は0..255。ただし、 type My_Signed is range 0..255; と書くのとはちょっと違う。 N:My_Signed:=256; はエラーになるが、 N:My_Modular:=256; はエラーにならず、Nには0が代入される…

type My_Integer is range -127..128; みたいなやつ。範囲は当然両端を含む。 StandardにはIntegerとPositiveとNaturalが定義されている。実装に丸投げだけど。 type Integer is range implementation-defined; type Natural is new Integer range 0..Intege…

type Foo_Bar_Baz is (Foo, Bar, Baz); みたいなやつ。論理型 Boolean もパッケージ Standard で以下のように定義される。 type Boolean is (True, False) ついでに文字 Character（文字列 String ではない）も。 type Character (nul, soh, stx, （略） , '…

列挙型、正負あり整数型、正負なし整数型をまとめて『離散型』と言う。*1 離散型には以下のような属性がある： S'Pos 型Sの変数Vを表す整数（universal-integer*2）を返す。 S'Val 整数（universal-integer）が示すSにおける値を返す。 *1:多分。別な、もっ…

数は共通に属性*1を持つ：（ただしこのリストは一部。c.f. ARM 3.5.） S'First 型のとりうる最初（≒最小）の値。 S'Last 型のとりうる最後（≒最大）の値。 S'Range range S'First..S'Lastと一緒。 S'Min 2つの値のうち、小さい方。 S'Max 大きい方。 S'Succ …

一覧。ARM 3.2から適当に改変。日本語も適当。 基本型 elementary 数 scalar 離散型 discrete 列挙型 enumeration （文字、真偽値、…） 正負あり整数 signed integer 正負なし整数 modular integer 実数 real 浮動小数点値 floating point 固定小数点値 fixe…

最近Adaの解説を書いている人が多い気がするそうなので、便乗するしかないだろう、と。 三匹目のドジョウってレベルじゃないですが。 2009年は（仕様書の厚さ的に）Ada越えを果たしそうなC++0xもついに出る予定ですし、タイミング的にもバッチリじゃないでし…

全く気がついてませんでしたが、AdaICにAda1Zのドラフトが出てますね。 変更点と思しきページの一応Introductionと、重要らしい6.5、7.5は読みましたが270kb全部を読む気はしないなぁ…。 そもそも英語読めないから雰囲気感じるだけだったりしますがｗ。

買ってあったのに積んであった『Rubyで作る奇妙なプログラミング言語』を読み始めました。 …で、どうせRubyはよく解ってないので、esotericな言語の解説を読んで、Rubyのソースを参考にErlangで適当に実装していく事にしました。 最初に載っているBrainf*ck…