息継ぎがしたいので寄り道回入れていいですか。言いましても割と大きな変更になります。経緯¶これまで標準の型をラップするライブラリを使うのが結構大変でした。型まわりとユーザー定義参照型ぐらいしかありません。定数ひとつ作るにも関数呼び出しが必要です。使えばパッケージ名は省略できます。それでも関数名と括弧は必要です。演算子は元々値をそのまま返す演算子です。等の演算子を意味を変えて使ってしまっているよりも随分まともと言えましょう。アスペクトが追加されました。文字列からユーザー定義型への変換関数を指定します。文脈に応じて対応するリテラルがその型として解釈されるようになります。Adaのリテラルは特に修飾しなくても文脈に応じて型が変わっていました。30;なおuniversal_integerは型が付く前のコンパイル時定数です。numberと呼ばれる型なしの定数となり整数リテラル同様に使用できます。明示的に修飾するならこうですね。40;やっていることは簡単ですね。リテラルが文字列で渡されてくるので注意が必要です。超える数値型等を定義して使うことができなくなりますので妥当といえば妥当なのですが、変換関数の実装によっては非常に効率が悪いことになりかねません。変換関数は是非ともstatic式化したいところです。属性がstaticかどうかで実装のしやすさが大きく変わりますよね。規格では明記されてなさそうです。GNATで試したところstaticではありません。