“ProgrammingLanguage”标签的文章
带有“ProgrammingLanguage”标签的文章共 4 篇，按发布日期从新到旧排列。
-
Ada 的泛型编程 —— 用类型编写契约，零成本实现代码复用
系统讲解 Ada 的泛型编程，涵盖泛型子程序、泛型包、形式子程序参数、类型类别、正式包参数，以及实务中的设计方针。结合 Mermaid 图与实例，整理类型安全的复用与零成本抽象的理念。
-
用 Ada 构建实时系统编程 ── 优先级、周期、执行时间控制实战
本文通过 8 个实战代码示例，逐步学习 Ada Annex D（实时系统）所提供的实时功能——任务优先级、Ceiling_Locking 协议、delay until 的周期执行、Ravenscar 配置文件、定时事件、保护队列、按任务度量执行时间、多周期集成。
-
Ada 中的安全并发处理 ── 任务与保护对象实战指南
本文是关于 Ada 语言内置并发处理机制——任务(task)与保护对象(protected object)的实战入门文章。内容涵盖会合(entry/accept)、选择性接受(select)、生产者消费者模式、保护对象实现的互斥控制、带屏障的保护入口、带超时的调用，以及任务优先级与实时调度，从安全并发处理的基础一...
-
Ada 语言的魅力 —— 用类型阐述设计，支撑运行数十年软件的语言
介绍 Ada 语言的魅力。从强类型、范围约束、用包分离规格与实现、契约式设计、语言内置的任务（task）、SPARK 形式化验证，到 GNAT 与 Alire 开发环境，整理支撑高可靠软件的设计理念。