Description:
Pure functional programming language with dependent types
|
|
Type: Formula
|
Latest Version: 0.8.0@0
|
Tracked Since: Oct 31, 2025
|
|
Links:
Homepage |
@idrislang |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
functional-programming
dependent-types
idris
type-theory
verification
compiler
|
|
Install:
brew install idris2
|
About:
Idris 2 is a general-purpose pure functional programming language with dependent types. It features a type-driven development approach where types guide program construction, enabling powerful compile-time verification. The language compiles to efficient backend code and is particularly suited for building verified software systems.
|
Key Features:
- Dependent type system for compile-time verification
- Type-driven development workflow
- Multiple compilation backends (Chez, Racket, RefC)
- Linear types for resource management
- Interactive development with REPL
|
Use Cases:
- Building verified software systems
- Type-safe API development
- Systems programming with correctness guarantees
- Educational tool for learning advanced type theory
|
Alternatives:
-
agda
– Similar dependent type features but Agda has a different syntax and focuses more on proof assistant capabilities
-
coq
– Coq is primarily a proof assistant while Idris targets general-purpose programming with verification
-
lean
– Lean emphasizes mathematical theorem proving but shares dependent type concepts with Idris
|
| Detected |
Version |
Rev |
Change |
Commit |
| Oct 31, 2025 11:55pm |
|
0 |
VERSION_BUMP |
128e17f8 |
| Oct 30, 2025 10:54am |
|
5 |
VERSION_BUMP |
a9f6ea63 |
| Sep 14, 2025 9:08pm |
|
4 |
VERSION_BUMP |
21e7b1d7 |
| Nov 16, 2024 1:52am |
|
3 |
VERSION_BUMP |
189e9461 |
| Nov 15, 2024 6:45pm |
|
3 |
VERSION_BUMP |
f09e4607 |
| Sep 14, 2024 6:05am |
|
2 |
VERSION_BUMP |
5c5f5595 |
| Feb 8, 2024 6:41am |
|
1 |
VERSION_BUMP |
07107680 |
| Dec 22, 2023 4:23pm |
|
0 |
VERSION_BUMP |
a45383e7 |
| Aug 30, 2023 2:10am |
|
1 |
VERSION_BUMP |
6908428f |
| Dec 3, 2022 6:05pm |
|
0 |
VERSION_BUMP |
9ccb99c3 |
| Nov 30, 2022 8:16am |
|
0 |
VERSION_BUMP |
c6358c58 |
| Nov 29, 2022 9:17pm |
|
0 |
VERSION_BUMP |
266d890c |
|