Posts tagged ada
Ada 202x (最終日) - Ada 2023が標準化されました!
- 2023-05-11(Thu)
ついに!Ada 2023が標準化されました。 ISO規格のページは ISO/IEC 8652:2023 - Information technology — Programming languages — Ada です。 comp.lang.adaのスレは Ada 23 at Last! になります。
Ada 202x (60日目) - 9月8日の電子会議の結果
- 2022-09-25(Sun)
会議は既に次のバージョン(Ada 202y?)が主となっており、そのため取り上げてはこなかったのですけれども、9月8日に行われた電子会議 では久しぶりにAda 2022への変更が入っていました。
Ada 202x (54日目) - 12月9日の電子会議の結果
- 2020-12-19(Sat)
12月9日に行われた電子会議の議事録が公開されました。 次回の会議は1月20日になるそうです。 案の定2020年内にまとまりませんでしたね……先例からして呼称はAda 2021にはならずAda 2020のままになると思われます。 結局Ada 2022になりました。
Same_Objectの行方
- 2020-09-15(Tue)
Ada.Containers.Doubly_Linked_Lists.Same_Object
がしれっと無かったことになってませんか。
'Has_Same_Storage
属性を使うようになっています。
Ada 202x (48日目) - 3月11日の電子会議の結果
- 2020-03-18(Wed)
3月11日に行われた電子会議の議事録が公開されました。 次の会議は6月ではありませんでしたっけ?あれ? それに私どんな風にこれ書いてましたでしょうか、すっかり忘れてますね。
Ada 202x (47日目) - 1月15日の電子会議の結果
- 2020-01-22(Wed)
1月15日に行われた電子会議の議事録が公開されました。 結果これまで書いたことに訂正が必要になりましたので47日目です。
Ada 202x (41日目) - その他のrecordの変更
- 2020-01-10(Fri)
あまりにも細かいやつは紹介しなくていいとは思うのですが、実際書き始めると自分でも案外発見があったりしますので一応見ていきます。
Ada 202x (39日目) - その他の契約関連の変更
- 2020-01-08(Wed)
ここに書いているのはあくまで現時点での情報です。 確定ではありません。 今後変わる恐れもあります。 実際変わりそうです。 (今更。)
Ada 202x (37日目) - 実行時チェックの抑制
- 2020-01-06(Mon)
本シリーズはAda 2012までの知識と唐突に他言語の雑談が混じっても流せる柳の心を前提としています。 (今更。)
Ada 202x (33日目) - pragma Restrictions/pragma Profile
- 2020-01-02(Thu)
既に大ネタは出し終わり後はもう細かすぎて伝わらないのではないか感。 AIの数で言えばまだ半分いってないんですぜ……。
Ada 202x (29日目) - No_Controlled_Parts
- 2019-12-29(Sun)
細かい変更点まで見ていきましたら一向に終わりそうにないです。 怖い。 とりあえず新機能を紹介してしまうのが目標。
Ada 202x (26日目) - 契約と継承
- 2019-12-26(Thu)
一番理解も説明も難しいところが来てしまいました……。 怪しい箇所がありましたらご指摘ください。 遠慮なく。 ええもう本当に。
Ada 202x (22日目) - Default_Initial_Condition
- 2019-12-22(Sun)
検証の流れに戻って今回から契約プログラミングです。 引き続き理解が怪しい箇所がありましたらご指摘ください。
Ada 202x (16日目) - static function
- 2019-12-16(Mon)
12月は31日までありますので折り返しは今日でした。 目玉を持ってくるならここですよね。 (意味不明。)
Ada 202x (8日目) - iterator filter
- 2019-12-08(Sun)
順調に投稿時刻が後にずれていっております。 なお毎日のリハビリですので書き溜めはしないようにしております。
Ada 202x (4日目) - target name symbol
- 2019-12-04(Wed)
昨日の使われてなかった記号を使うようになった話の流れで残る @
を先に片付けます。
適切な説明の順番?
脳内で並び替えてください。
Ada 202x (3日目) - generalized array aggregate
- 2019-12-03(Tue)
Ada 202xではaggregate式に大幅な手が入ってます。 その中でも、昨日少し触れましたように今回紹介するこれが一番影響が大きいのでさっさと済ませます。
Ada 202x (2日目) - parameterized array component association
- 2019-12-02(Mon)
というわけで、一番お気に入りの新機能から行きます。 説明を考えたら順番はgeneralized array aggregateの後の方がいいのですが、好きな順で。
Ada 202x (1日目) - Wide_Wide_File_Names
- 2019-12-01(Sun)
文章を書くリハビリを兼ねてAda 202xの変更点を書いていきます。 まずは簡単なところから。