Idris

Awesome Idris Awesome

>很棒的辅助清单 Idris 资源.

Idris是具有依赖类型的通用纯函数式编程语言. 依赖类型允许类型以值为基础,这意味着可以在类型中精确指定程序行为的某些方面. 进行了汇编,并进行了急切的评估. 其功能受Haskell和ML影响.

Official resources

Articles

Books

Papers

Presentations

Projects

Backends

Build tools | Package managers

  • Idris Rules -伊德里斯·巴兹尔规则
  • Ikan -idris的软件包管理器,在idris中
  • Elba -Idris的软件包管理员
  • idream -用于Idris的简单构建系统

Community

License

CC0