Idris 2
Summary
Idris 2 is a dependently typed practical functional programming language.
Owner
- Name: Jens Petersen
- Email: <petersen@redhat.com>
Current status
- Targeted release: Fedora Linux 42
- Last updated: 2025-01-13
- [<link to devel-announce post will be added by Wrangler> Announced]
- [<will be assigned by the Wrangler> Discussion thread]
- FESCo issue: <will be assigned by the Wrangler>
- Tracker bug: <will be assigned by the Wrangler>
- Release notes tracker: <will be assigned by the Wrangler>
Detailed Description
Idris is a dependently typed functional programming language with first-class types.
Idris 1 (written in Haskell) has been included in Fedora for many years, but is no longer maintained and increasingly hard to build with newer GHC versions. Idris 2 is a complete rewrite on top of a Scheme compiler (either chez-scheme (preferred and added to Fedora for F41) or racket), which replaced idris-1.
Feedback
Benefit to Fedora
Continue to provide an easy way to install the Idris programming language.
Scope
- Proposal owners:
- complete the package review of idris2 (review)
- build idris2 for Fedora
Upgrade/compatibility impact
If idris-1 can no longer build with Changes/Haskell_GHC_9.8_and_Stackage_23 then idris2 can obsolete it.
How To Test
- install idris2
- try examples from tutorial etc
User Experience
Users will be able to use the latest major version of the Idris programming language easily.
Dependencies
Contingency Plan
- Contingency mechanism: (What to do? Who will do it?) N/A (not a System Wide Change)
- Contingency deadline: N/A (not a System Wide Change)
- Blocks release? N/A (not a System Wide Change), Yes/No
Documentation
Release Notes
- idris2 has been added to Fedora