Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
如何在 Mac (OS X) 上安装 ADA IDE 和编译器？
我下载了 GNAT ADA GPL 2014，现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明，但是在哪里可以找到名为 doinstall 的文件？ 导航到目录...
我下载了 GNAT ADA GPL 2014，现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明，但是我在哪里可以找到名为 doinstall 的文件？ 导航到目录...
这个问题是如何访问记录字段的后续问题。 更复杂的（现在）代码涉及绑定整个记录向量。大致如下： 类型标签是记录 ...
首先是我的问题的一些一般背景。 我需要使用 GNATCOLL SQLite 绑定来绑定准备好的语句的一些参数。这些绑定期望 C 字符指针作为输入（除了其他...
我是编程新手，我已经成功在我的 OS X 上安装了 GNAT，但现在我想将它安装在我的 Android 手机上以便编码......在我的床上！或者为了做作业
如何在 ada 编程中获得单词的字谜。例如： 我有一个字符串“一”。它怎么能混入“neo”或“eon”等？ 示例代码： 与 Ada.Text_IO；使用 Ada.Text_IO； 程序
如何使用 Ada Hashed_Maps 中的 Reference_Type？
我想创建一个符号表作为哈希映射，并在符号表中保留一个指针列表，以跟踪需要更新的符号表条目。我可能无法使用光标作为点...
我需要一些答案来解决这些问题。我在使用记录在 Ada 中编程时陷入了这些错误
我是 Ada 编程新手。这是我的一个程序的 ADA 代码，当我在执行时输入足球传奇人物名字时，它会给出一个列表。但是我收到以下错误。请帮助我...
我正在尝试使用 GNAT 的 SQLite 绑定。我想要一些方法来从这些绑定中获取错误。尝试通读代码，我发现我可以通过提供一个神秘的对象来建立连接...
我正在尝试使用 Big_Reals 包计算大数（大约 16 位数字）的平方根。我有以下使用牛顿拉夫森方法的平方根函数 杂注 Ada_2022；
我们的编程语言教授告诉我们： “在 Ada 中，重载函数的返回类型可用于消除调用的歧义（因此两个重载函数可以具有相同的参数...
我已经安装了 GNAT Planning Studio (GPS) 和 GtkAda。它们似乎都工作正常，但是当我尝试在“从模板新建项目”下构建“简单窗口”项目时，我得到了一堆......
我正在研究 Ada 中的并发编程问题。任务是模拟一座桥梁，不同的汽车可以从不同的方向通过。复杂之处在于，如果
我有以下父包，它定义了几种类型 aes.广告 AES 包是 字节类型的范围是 0..2**8 - 1； 输入缓冲区类型是字节数组（自然范围<>）； t...
我们都知道并喜爱 Ada.Containers.Vectors。这是其用法的示例： 与 Ada.Text_IO； 与 Ada.Containers.Vectors； 程序示例是 使用 Ada.Text_IO； 包 Vectors_Integer 是 ...
我有一个与在关键环境中应用合同相关的问题。 想象一下我有以下函数要除法： 函数 div (被除数, 除数 : Float) 返回 Float 与 Pre => divi...
尝试编译一个简单的 Ada 程序，在 M2 MBP 上的 OS 14.1 (23B73) 中出现 GNAT 编译错误
❯所有构建 ⓘ 构建 myproj/myproj.gpr... 关联 [链接] myproj.adb 0 0x10034af43 __assert_rtn + 64 1 0x10024cf43 ld::AtomPlacement::findAtom（无符号字符，无符号长长，ld::
我正在尝试使用循环队列来实现这一点。我的程序执行但在构建和运行时显示已成功终止
LinkSort.adb 文件 与 Ada.Text_IO；使用 Ada.Text_IO； 程序 LinkSort 是 类型 JobType 为（会计、分析、经理、制造、程序员、库存、销售、软件工程师）； 帕克...
程序主要是 开始 -- 在此处插入代码.procedure LinkSort ; 类型 JobType 是（会计、分析、经理、制造、程序员、 库存、销售、软件工程师）；
这似乎不可能，但我还没有看到明确的答案。我想做的是定义一个带有一些通用形式参数的通用子程序，并在同一页中实例化它...