Idris2
所属分类:编程语言基础
开发工具:Idris
文件大小:0KB
下载次数:0
上传日期:2023-06-28 08:15:40
上 传 者:
sh-1993
说明: 一种具有第一类类型的纯函数式编程语言
(A purely functional programming language with first class types)
文件列表:
.editorconfig (749, 2024-01-01)
.readthedocs.yaml (1034, 2024-01-01)
CHANGELOG.md (51830, 2024-01-01)
CHANGELOG_NEXT.md (727, 2024-01-01)
CONTRIBUTING.md (8401, 2024-01-01)
CONTRIBUTORS (1253, 2024-01-01)
INSTALL.md (7103, 2024-01-01)
LICENSE (1602, 2024-01-01)
Makefile (12110, 2024-01-01)
Release/ (0, 2024-01-01)
Release/CHECKLIST (1306, 2024-01-01)
Release/mkdist.sh (542, 2024-01-01)
benchmark/ (0, 2024-01-01)
benchmark/bench.sh (3327, 2024-01-01)
benchmark/benchmarks/ (0, 2024-01-01)
benchmark/benchmarks/mergeInt/ (0, 2024-01-01)
benchmark/benchmarks/mergeInt/mergeInt.idr (793, 2024-01-01)
benchmark/benchmarks/mergeInt/mergeInt.in (4, 2024-01-01)
... ...
# Idris 2
[![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest)
[![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain)
[Idris 2](https://idris-lang.org/) is a purely functional programming language
with first class types.
For installation instructions, see [INSTALL.md](INSTALL.md).
The [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful
resources, in particular
+ [What's changed since Idris 1](https://idris2.readthedocs.io/en/latest/updates/updates.html)
+ [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources),
including [official talks](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks)
that showcase its capabilities
+ [Editor support](https://github.com/idris-lang/Idris2/wiki/Editor-Support)
## Things still missing
+ Cumulativity (currently `Type : Type`. Bear that in mind when you think
you've proved something)
+ `rewrite` doesn't yet work on dependent types
## Contributions wanted
If you want to learn more about Idris, contributing to the compiler could be
one way to do so. The [contribution guidelines](CONTRIBUTING.md) outline
the process. Having read that, choose a [good first issue][1] or have a look at
the [contributions wanted][2] for something more involved. This [map][3] should
help you find your way around the source code. See [the wiki page][4]
for more details.
[1]:
[2]:
[3]:
[4]:
近期下载者:
相关文件:
收藏者: