Mac平台上的Gnat Ada编程工具
我在我的编程课上正在学习Ada 95，并且想在我的 MacBook 上安装gnat编译器。我不知道在哪里获取一个好的gnat来编译我的代码，以及如何安装它。 目前我使用的文本编辑器是gedit，因为这是我们实验室环境中使用的。我对Mac系统还很陌生，任何帮助都将不胜感激。
编译器如何检测任务之间的竞态条件
我的日常工作是处理安全关键型嵌入式系统。我还向客户提供一些有关编写安全嵌入式代码的教学/咨询服务。在比较C、D、Ada、Erlang、Rust等编程语言时，我们经常会讨论这个问题。 我经常使用一个简单的双线程程序来进行演示。每个线程都要从一个全局变量（初始化为0）中获取值，并将其加1并替换1...
可以认为Ada子类型等同于依赖类型吗？
我一直在努力理解Ada，最近读了一些关于Agda和Idris中依赖类型的内容。 可以说，在Ada中的子类型相当于依赖类型吗？
用Ada语言编写的Erlang？
另一个线程引用了以下内容： Erlang VM BEAM和HiPE主要由C编写。 Linked-in驱动程序主要由C编写。（它们被插入到VM中并提供与外部世界的通信。） 我读到一些观点认为，Ada的强类型、模块化、运行时检查、并行处理等等都比C更好。 使用Ada编译的Erlang...
Ada中的自定义“图像属性”是什么？
我有一个问题。 type Thing is new record ...elements... end record; 我有一个将其转化为字符串的函数。 function ToString(t: Thing) returns string; 我希望能够告诉Ada使用此函数来处理...
然后在 C++ 中的条件语句中
除了布尔“and”运算符之外，Ada还具有在if条件语句中使用的and then语句的良好特性。这允许在访问对象之前进行检查，例如检查对象是否为非空：if Object /= null and then Object.Value > 5 then -- do something w...
在Ada中实现Kruskal算法，不确定从何处开始。
关于使用Ada实现Kruskal算法，我不确定从哪里开始。 在编写程序之前，我试图仔细考虑一切，但对于我应该使用哪些数据结构以及如何表示每个元素等问题感到相当迷茫。 我的最初想法是用邻接列表表示完整树，但是阅读维基百科后，算法说明要创建一个森林F（一组树），其中图中的每个顶点都是单独的树，我不...
Ada中的任意长度整数
我正在自学Ada编程，为了开始入门，我想先尝试解决一些比较传统的问题。 更具体地说，我想计算n!的值，其中n>100。目前我的实现是： with Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Text_IO; procedure F...
在Alpine Linux的Docker容器中构建GNATCOLL
我似乎无法在基于Alpine Linux的Docker容器中编译GNATCOLL。 我的容器目前为： FROM alpine:edge # Add extra repositories RUN echo 'http://dl-cdn.alpinelinux.org/alpine/edge...