Ivory Language 正在参加 2021 年度 OSC 中国开源项目评选,请投票支持!
Ivory Language 在 2021 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
2021 年度 OSC 中国开源项目评选 正在火热进行中,快来投票支持你喜欢的开源项目!
2021 年度 OSC 中国开源项目评选 >>> 中场回顾
Ivory Language 获得 2021 年度 OSC 中国开源项目评选「最佳人气项目」 !
授权协议 BSD-3
开发语言 Haskell 查看源码 »
操作系统 Linux
软件类型 开源软件
所属分类 编程语言
开源组织
地区 不详
投 递 者
适用人群 未知
收录时间 2018-03-25

软件简介

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)

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论

点击引领话题📣
暂无内容
发表了博客
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
发表了问答
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
暂无内容
0 评论
0 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部