Idris - 受 Haskell 和 ML 影响的具有依赖类型的通用纯函数式编程语言

宝藏资源
收藏
回帖
新手上路 2026-2-3 16:35
主楼
[资源名称]
Idris - 受 Haskell 和 ML 影响的具有依赖类型的通用纯函数式编程语言
[资源来源]
github.com
[资源介绍]
GitHub - joaomilho/awesome-idris: 𝛌 Awesome Idris resources
𝛌 Awesome Idris resources. Contribute to joaomilho/awesome-idris development by creating an account on GitHub.
- Idris - 受 Haskell 和 ML 影响的具有依赖类型的通用纯函数式编程语言。
[资源合集]
程序员必备宝典：编程语言、多媒体、数据库、开发等一网打尽
回复 点赞 举报
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️