依赖型 – 伊德里斯的实际例子

发布时间：2020-12-14 01:05:56 所属栏目：百科来源：网络整理

导读：有没有任何例子 Idris可能用于研究，也许应用它为一般目的/“真实世界”的应用程序？我在Haskell中度精通，其中Idris似乎大量借用，官方FAQ /文档是相当不错，但它将是非常有益的，有一些更大的例子来探索。目标是尝试使用Idris进行实际软件开发。 TIA。 Ed

有没有任何例子 Idris可能用于研究，也许应用它为一般目的/“真实世界”的应用程序？

我在Haskell中度精通，其中Idris似乎大量借用，官方FAQ /文档是相当不错，但它将是非常有益的，有一些更大的例子来探索。目标是尝试使用Idris进行实际软件开发。 TIA。

Edwin Brady在 https://github.com/edwinb/idris-demos有一个回报充分的演示。
除此之外，它还有一个可玩的空间入侵者游戏，使用SDL绑定，效果和！-effect语法(基本上是替换语法do / notation />> =)。

此外，我们尝试维护一些可用的图书馆在维基上的列表：
https://github.com/idris-lang/Idris-dev/wiki/Libraries

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!