From Fedora Project Wiki
< Changes
(Submitting Change to FESCo) |
(adding tracker links) |
||
| (One intermediate revision by the same user not shown) | |||
| 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 --> | ||
| Line 31: | Line 29: | ||
* [https://discussion.fedoraproject.org/t/f42-change-proposal-ibus-libpinyin-1-16-self-contained/142523 Discussion thread] | * [https://discussion.fedoraproject.org/t/f42-change-proposal-ibus-libpinyin-1-16-self-contained/142523 Discussion thread] | ||
* FESCo issue: [https://pagure.io/fesco/issue/3352 #3352] | * FESCo issue: [https://pagure.io/fesco/issue/3352 #3352] | ||
* Tracker bug: | * Tracker bug: [https://bugzilla.redhat.com/show_bug.cgi?id=2346153 #2346153] | ||
* Release notes tracker: | * Release notes tracker: [https://gitlab.com/fedora/docs/fedora-linux-documentation/release-notes/-/issues/169 #169] | ||
== Detailed Description == | == Detailed Description == | ||
Latest revision as of 18:26, 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: #2346153
- Release notes tracker: #169
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
