タグ「GNAT」の記事
「GNAT」タグが付いた記事の一覧です(6件)。新しい順に掲載しています。
-
Adaのメモリ管理 ── アクセス型・Controlled型・ストレージプールの使い分け
AdaはGCに頼らず、まず値をスタックに置き、ヒープが要るときはアクセス型で寿命の規則を型に書きます。解放の危うさ、Controlled型での後始末、ストレージプールでの確保先の制御を、GNATで動かした例で説明します。
-
Alire で Ada のプロジェクトを始める ── プロジェクト作成、依存の追加、ビルドプロファイル、GNATproveまで
AdaのパッケージマネージャーAlireで、プロジェクトの作成、GNATの自動取得、依存クレートの追加、ビルドプロファイルの切り替え、GNATproveによる証明までを、alr 2.1で実行した出力とともに説明します。
-
Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文
Ada 2022で加わった宣言式、差分集成体、全型の'Image、'Reduce、Big_Integers、Jorvikプロファイルを、GNAT 13.3と15.3で動かした結果とともに説明します。並列ブロックと並列ループはGNATでは受け付けられませんでした。
-
Ada と C / C# をつなぐ ── DLL を作って呼び出す
Adaで共有ライブラリを作り、CとC#から呼ぶ手順を実際に動かして説明します。Interfaces.CとConvention => C、gprbuildの設定、初期化、文字列とメモリの持ち主、例外の扱い、AdaからWindowsのDLLを呼ぶ方法まで扱います。
-
Adaのジェネリックプログラミング ── 型で契約を書き、再利用をゼロコストで実現する
Adaのジェネリックプログラミングを、総称サブプログラム、総称パッケージ、仮サブプログラム、型カテゴリ、実務上の設計指針まで体系的に解説します。型安全な再利用とゼロコスト抽象化の考え方を整理します。
-
Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語
Ada言語の魅力を紹介します。強い型付け、範囲制約、パッケージによる仕様と実装の分離、契約による設計、言語組み込みのタスク、SPARKによる形式検証、GNATとAlireでの開発環境まで、高信頼ソフトウェアを支える設計思想を整理します。