通过阅读文档，我了解到Ada实时模块完全与操作系统隔离工作。它可以实现并发而不需要底层的操作系统和资源管理器。Ada处理任务分派、时间管理、任务状态转换、列表管理、任务优先级、锁定策略、调度策略、ISR、任务间通信等功能。 如果是这样的话，那么Ada实时模块就是一种实时操作系统？

有人能解释一下Ada语言中的“procedure”和“function”之间的区别吗？

有人在Ada语言上进行严肃的Web开发吗？是否有可用于此类任务的库或框架？我特别感兴趣的是那些免费且开放源代码的。 如果有相关的指引，将不胜感激。

我想知道有没有人知道用Ada编写的简单设计、但非常简单的操作系统，如果可能的话，请给出一个例子，谢谢。

我来自C++背景，但目前在使用Ada开发。在C++世界中，我会在编写每个类时进行单元测试...但这似乎不是我们公司代码库流行的做法。 我想开始为我创建的Ada软件包实施单元测试，有没有好的框架可以用？

我非常新手Ada，想知道它是否提供双精度类型。我看到我们有浮点型和 Put( Integer'Image( Float'digits ) ); 在我的计算机上运行得到的值是6，这对于数值计算来说不够。 Ada是否像C语言一样有double和long double类型？ 非常感谢...

有没有一组通用规则/准则，可以帮助理解何时更喜欢使用pragma Pure、pragma Preelaborate或其他完全不同的内容？在标准（Ada 2012）中呈现的规则和定义有点晦涩难懂，我很感激能读到一些更加清晰且针对平均情况的东西。 如果我想彻底而不完全理解其中的“原因”，我可以简...

作为我第一次接触Spark和Ada，所以这个问题可能过于宽泛。然而，这是出于诚意的提问，旨在帮助理解Spark。除了以下问题的直接答案之外，我也欢迎对样式、工作流程等方面进行批评。在我第一次尝试Spark时，我选择尝试实现（简单的）并证明（目前不成功）函数。问题：如何正确地实现和证明此函数的正...

我是Ada编程语言的新手，正在进行并发编程，但我在一个实现上遇到了问题。这可能是一个非常愚蠢的问题。代码如下： type status is array(1..6) of boolean; --boolean values for each track track_available :st...

什么是它的含义？x AND THEN y AND z 它是什么x AND THEN (y AND z) 当 x 为 FALSE 时，y 和 z 不会被计算(x AND THEN y) AND z （如果 x 是 FALSE，则跳过 y，但有可能会计算 z）在Ada中是这样的吗？