てきとう

てきとう

2009-01-20から1日間の記事一覧

そういえば

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

疲れた

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

Adaにおける正負なし整数型 modular integer type

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が代入される…

Adaにおける正負あり整数

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…

Adaにおける列挙型 enumeration type

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

Adaにおける離散型

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

Adaにおける数

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

Adaにおける型

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

Adaの解説

Ada

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

1Z

Ada

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