From Fedora Project Wiki
< Changes
(announcing the change) |
(Submitting Change to FESCo) |
||
| Line 12: | Line 12: | ||
== Current status == | == Current status == | ||
[[Category: | [[Category:ChangeReadyForFesco]] | ||
<!-- 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 30: | Line 30: | ||
* [https://lists.fedoraproject.org/archives/list/devel-announce@lists.fedoraproject.org/thread/DP4K7GIAUVQR2VIS2C5MWSLVGDHKRU6T/ Announced] | * [https://lists.fedoraproject.org/archives/list/devel-announce@lists.fedoraproject.org/thread/DP4K7GIAUVQR2VIS2C5MWSLVGDHKRU6T/ Announced] | ||
* [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: | * FESCo issue: [https://pagure.io/fesco/issue/3352 #3352] | ||
* Tracker bug: <will be assigned by the Wrangler> | * Tracker bug: <will be assigned by the Wrangler> | ||
* Release notes tracker: <will be assigned by the Wrangler> | * Release notes tracker: <will be assigned by the Wrangler> | ||
Revision as of 22:39, 26 January 2025
Idris 2
This is a proposed Change for Fedora Linux.
This document represents a proposed Change. As part of the Changes process, proposals are publicly announced in order to receive community feedback. This proposal will only be implemented if approved by the Fedora Engineering Steering Committee.
This document represents a proposed Change. As part of the Changes process, proposals are publicly announced in order to receive community feedback. This proposal will only be implemented if approved by the Fedora Engineering Steering Committee.
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-26
- 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
