电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
软件简介
Ivory 语言是一门可嵌入的领域专用语言，用于更安全的系统编程。你可以将?Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。
Ivory?具有以下特性
-
可嵌入：Ivory 以 Haskell 编程语言的库的形式实现，Ivory 使用了 Haskell 的语法和类型进行编写
-
领域专用语言：Ivory?提供了强大的类型和内存安全保证，并且具有允许程序员指定其他安全属性的功能
-
系统编程：Ivory 非常适合编写与硬件直接交互的程序，而且不需要动态内存分配
示例代码
Hello World
puts?::?Def?('[IString]?:->?Sint32)
puts??=?importProc?"puts"?"stdio.h"
main?::?Def?('[]?:->?())
main??=?proc?"main"?$?body?$?do
??call_?puts?"hello,?world\n"
??retVoid
?
Ivory 编写的 Hello World
Fibonacci
fib_loop?::?Def?('[Ix?1000]?:->?Uint32)
fib_loop??=?proc?"fib_loop"?$?\?n?->?body?$?do
??a?<-?local?(ival?0)
??b?<-?local?(ival?1)
??n?`times`?\?_?->?do
????a'?<-?deref?a
????b'?<-?deref?b
????store?a?b'
????store?b?(a'?+?b')
??result?<-?deref?a
??ret?result
?
计算斐波那契数的?Ivory 程序，使用了循环和可变状态(mutable state)
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- C语言嵌入式系统编程修炼之一:背景篇
- SLG47004 在系统编程指南
- SLG47004 在系统编程指南
- 库卡机器人有限公司培训资料之库卡机器人教程C2系统编程 9次下载
- Linux操作系统下C语言编程入门.pdf 96次下载
- linux系统编程_中文版 0次下载
- C语言的嵌入式系统编程修炼之道 29次下载
- C嵌入式系统编程 14次下载
- C语言嵌入式系统编程教程 36次下载
- The_C_programming_language(中文版) 0次下载
- C语言嵌入式系统编程修炼 17次下载
- 工控DCS系统编程教学方法
- C语言嵌入式系统编程修炼之道
- C语言嵌入式系统编程教程
- 基于LonWorks的在系统编程技术
- PLC的编程方式及编程语言 863次阅读
- PLC编程语言和C语言的区别 3085次阅读
- PLC常用编程语言有哪些 1633次阅读
- fpga语言是什么？fpga语言与c语言的区别 981次阅读
- fpga通用语言是什么 540次阅读
- fpga三种编程语言 1165次阅读
- fpga芯片用什么编程语言 1577次阅读
- 基于Rust开发的编程语言 699次阅读
- 什么是系统建模语言SysML？ 7026次阅读
- 应用语言模型技术创作人工智能音乐 1021次阅读
- 最常用的PLC编程语言和编程方法详解 6758次阅读
- 学好PLC必须掌握的5种专用语言！ 7505次阅读
- vb编程语言是做什么用的_VB编程语言有哪些 8.3w次阅读
- stm32用什么语言编程 2.9w次阅读
- 单片机系统Flash存储器在系统编程设计 3395次阅读
上传资料赚积分下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图（支持平板，盒子VR）
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论