From Fedora Project Wiki
< Changes
(Submitting Change to FESCo) |
mNo edit summary |
||
| Line 1: | Line 1: | ||
= Idris 2 = | = Idris 2 = | ||
== Summary == | == Summary == | ||
| Line 12: | Line 10: | ||
== Current status == | == Current status == | ||
[[Category: | [[Category:ChangeAcceptedF42]] | ||
<!-- When your change proposal page is completed and ready for review and announcement --> | <!-- When your change proposal page is completed and ready for review and announcement --> | ||
<!-- remove Category:ChangePageIncomplete and change it to Category:ChangeReadyForWrangler --> | <!-- remove Category:ChangePageIncomplete and change it to Category:ChangeReadyForWrangler --> | ||
Revision as of 18:01, 17 February 2025
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-02-17
- Announced
- Discussion thread
- FESCo issue: #3352
- 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
