德赢Vwin官网
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 在系统编程指南
- 单片机c语言+编程c语言_C编程语言简介
- 库卡机器人有限公司培训资料之库卡机器人教程C2系统编程 9次下载
- Linux操作系统下C语言编程入门.pdf 95次下载
- linux系统编程_中文版 0次下载
- C语言的嵌入式系统编程修炼之道 29次下载
- C嵌入式系统编程 14次下载
- C语言嵌入式系统编程教程 36次下载
- The_C_programming_language(中文版) 0次下载
- C语言嵌入式系统编程修炼 17次下载
- C语言嵌入式系统编程修炼之道
- C语言嵌入式系统编程教程
- 基于LonWorks的在系统编程技术
- PLC的编程方式及编程语言 399次阅读
- PLC编程语言和C语言的区别 1475次阅读
- PLC常用编程语言有哪些 672次阅读
- fpga语言是什么？fpga语言与c语言的区别 723次阅读
- fpga通用语言是什么 379次阅读
- fpga三种编程语言 781次阅读
- fpga芯片用什么编程语言 1272次阅读
- 基于Rust开发的编程语言 566次阅读
- 什么是系统建模语言SysML？ 5960次阅读
- 应用语言模型技术创作人工智能音乐 908次阅读
- 最常用的PLC编程语言和编程方法详解 6527次阅读
- 学好PLC必须掌握的5种专用语言！ 7352次阅读
- vb编程语言是做什么用的_VB编程语言有哪些 8.2w次阅读
- stm32用什么语言编程 2.9w次阅读
- 单片机系统Flash存储器在系统编程设计 3284次阅读
下载排行
本周
- 1Keysight B1500A 半导体器件分析仪用户手册、说明书 （中文）
- 19.00 MB | 4次下载 | 免费
- 2使用TL431设计电源
- 0.67 MB | 2次下载 | 免费
- 3BT134双向可控硅手册
- 1.74 MB | 2次下载 | 1 积分
- 4一种新型高效率的服务器电源系统
- 0.85 MB | 1次下载 | 1 积分
- 5LabVIEW环形控件
- 0.01 MB | 1次下载 | 1 积分
- 6PR735,使用UCC28060的600W交错式PFC转换器
- 540.03KB | 1次下载 | 免费
- 751单片机核心板原理图
- 0.12 MB | 1次下载 | 5 积分
- 8BP2879DB支持调光调灭的非隔离低 PF LED 驱动器
- 1.44 MB | 1次下载 | 免费
本月
- 1开关电源设计原理手册
- 1.83 MB | 54次下载 | 免费
- 2FS5080E 5V升压充电两串锂电池充电管理IC中文手册
- 8.45 MB | 23次下载 | 免费
- 3DMT0660数字万用表产品说明书
- 0.70 MB | 13次下载 | 免费
- 4UC3842/3/4/5电源管理芯片中文手册
- 1.75 MB | 12次下载 | 免费
- 5ST7789V2单芯片控制器/驱动器英文手册
- 3.07 MB | 11次下载 | 1 积分
- 6TPS54202H降压转换器评估模块用户指南
- 1.02MB | 8次下载 | 免费
- 7STM32F101x8/STM32F101xB手册
- 1.69 MB | 8次下载 | 1 积分
- 8基于MSP430FR6043的超声波气体流量计快速入门指南
- 2.26MB | 7次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935119次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73807次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65987次下载 | 10 积分
工商网监
评论