Idris——类似Haskell的纯函数编程语言
Posted OSC开源社区
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Idris——类似Haskell的纯函数编程语言相关的知识，希望对你有一定的参考价值。
Idris是一个类似Haskell的纯函数编程语言，类型系统支持dependent types。
依赖模式匹配的依赖类型系统
简单的C函数接口
编译器级别的编码支持
where 语句, with 规则, 简单的case 表达式, 模式匹配 let 和 lambda 绑定
Dependent records with projection and update
Type classes
类型驱动的重载方案
do notation and idiom brackets
缩进语法
可扩充的语法
Cumulative universes
整体验证
类似Hugs的交互环境
以上是关于Idris——类似Haskell的纯函数编程语言的主要内容，如果未能解决你的问题，请参考以下文章