Ada程序设计语言初识
Ada曾是美国国防部指定的唯一一款可用于军用系统开发的语言,旨在整合美军事系统中运行着450多种不同的程序设计语言,她是迄今为止最复杂、最完备的软件工具。开发始于1975年,最早是针对嵌入式和实时系统设计的,1983年发布。其命名是为了纪念世界上第一位程序员阿达·洛芙莱斯。Ada具有许多现代软件的开发原理,而且将这些原理进行实现他可以改善软件系统的清晰性、可靠性、有效性、可维护性。
Ada程序设计语言初识
- 1. 下载IDE
- 2. IDE安装
- 2.1 2022版本安装
- 2.2 2021版本GMAT安装
- 3. GNAT Studio使用
1. 下载IDE
https://github.com/AdaCore/gnatstudio/releases/
找了一圈,还在这里下载还是比较好的,但是就是很慢。注意要下载最大的那个,不然安装之后会找不到gprbuild
!!!
GNAT安装:https://www.adacore.com/download
但是需要登录系统,目前还没找到注册链接。
【推荐下载】
2021-20210519-x86_64-windows64-bin.exe-阿里云盘
2. IDE安装
2.1 2022版本安装
安装一路下一步即可。
最后换一个安装目录
2.2 2021版本GMAT安装
3. GNAT Studio使用
初识使用可以选择主题
默认快捷键
这里就是选择插件,可以全选。
然后点击Create new project
这里选择Simple Ada Project
这里打开main.adb
然后输入下面的代码:
-- Hello Word
with Ada.Text_IO;procedure Main isbeginAda.Text_IO.Put("Hello World~");
end Main;
然后点击运行,或者debug
最下面就是输出结果了。
Ada程序设计语言初识相关推荐
- Ada 程序设计语言(The Ada Programming Language)[第二集]
Ada 程序设计语言(The Ada Programming Language)[第二集]- - 2.5.2 通用离散类型属性 离散类型包括整型和枚举型,除了上述的属性外,还有: S'Pos ...
- Ada 程序设计语言(The Ada Programming Language)[第一集]
Ada 程序设计语言(The Ada Programming Language)[第一集]- - 版权(Copyright) <Ada 程序设计语言>的版权隶属于网站 VenusIC,允许 ...
- Ada 程序设计语言(The Ada Programming Language)[第三集]
Ada 程序设计语言(The Ada Programming Language)[第三集]- - 第4章 记录(Record) 4.1 概述(Overview) 记录则是由命名分量(named ...
- Ada 程序设计语言(The Ada Programming Language)[第四集]
Ada 程序设计语言(The Ada Programming Language)[第四集]- - 第6章 子程序(Subprogram) 6.1 概述 (Overview) 一个程序是由一个或更多的子 ...
- C 家族程序设计语言发展史
目录 文章目录 目录 程序设计语言发展史 程序设计语言发展史 1950 年代末期,大量新的计算机编程语言涌现,而这些新语言大都围绕单个体系结构,如 UNIVAC 计算机.IBM700 系列计算机等进行 ...
- java是解释型编程语言_程序设计语言可以分为两类:编译型语言和解释型语言...
编译型语言 很多传统的程序设计语言,例如Fortran.Ada.Pascal.C.C++和Java,都是编译型语言.这类语言需要预先将我们写好的源代码(source code)转换成目标代码(obje ...
- C++程序设计语言编程风格演变史
程序代码也有风格,这算不得什么新鲜事.早在20世纪80年代,C语言程序员就必须在K&R风格和ANSI风格之间择善而从.但平心而论,我确实没有见过哪一种语言能像C++这样,在代码风格方面表现得如 ...
- 为什么会有这么多种程序设计语言?
传说人类建造通天塔触怒上帝,上帝施法使人类语言混乱彼此之间无法交流.这就是说各种各样的语言其实就是祸乱之源--只会导致交流的不便.可是看看如今的程 序设计语言的数量,你会怀疑人类是否又在造" ...
- 编译原理(一)编译程序、解释程序、程序设计语言范型
编译原理的地位 是软件技术的基础 是计算机专业的基础课程,是专业必修课 编译原理的作用 编译原理是介绍如何将高级语言程序变换成低级语言程序的方法. 其理论基础坚实,其形式化系统不仅用于编译程序,还大量 ...
最新文章
- mysql数据库增删改实例_Mysql1:数据库表操作,增删改查举例
- C语言编程,从菜鸟到高手
- 强化学习及其在NLP上的应用
- Navisworks Api Tool
- 489 - Hangman Judge
- python3 isalnum
- UVA10852 Less Prime【筛选法】
- 游戏开发之类的构造函数和析构函数(C++基础)
- react实现异步插件_初识react(四) react中异步解决方案之 redux-saga
- bandizip修改压缩文件内容_BandiZip使用方法,成功压缩解压文件
- idea登录页面ajax验证,IDEA如何实现登录注册页面 IDEA实现登录注册页面代码示例...
- EM310指令集及使用
- alexa世界排名的登录及使用教材(转)
- 最近招聘和面试的感想
- 共享办公平台,提高整体使用率
- 数论之指标介绍及其应用(基于阶与原根的应用)
- 新视智科“5G+工业互联网”产品线南山研发中心揭牌成立,助力制造业转型创新发展
- 使用C#实现支持人脸识别的本地照片管理工具
- 【电脑使用】如何将电脑磁盘变为移动磁盘?
- 毕业设计基础教学:SPI 通信接口
热门文章
- php语言查找字符串是否存在,PHP语言查找字符串是否存在的方法
- STM32F0官网固件库
- python入门区块链技术_Python学习入门之区块链详解
- 软件外包行业最大的问题
- 《思维力—高效的系统思维》
- C语言:给出一百分制成绩,输出成绩等级 ‘A’、’B’、’C’、’D’、’E’。
- [Python]小甲鱼Python视频第019课(函数:我的地盘听我的)课后题及参考解答
- 【Vuforia】高级模型目标数据库(Advanced Model Target Databases)
- iOS的Aspects简单使用
- 【Android P】OTA升级包定制,移除不需要更新的分区,重新打包签名