From Fedora Project Wiki
< Changes
(Created page with "= Idris 2 --> = {{Change_Proposal_Banner}} == Summary == Idris 2 is a dependently typed practical functional programming language. == Owner == * Name: Jens Petersen * Email: <petersen@redhat.com> == Current status == Category:ChangeReadyForWrangler <!-- When your change proposal page is completed and ready for review and announcement --> <!-- remove Category:ChangePageIncomplete and change it to Category:ChangeReadyForWrangler --> <!-- The Wra...") |
(→Idris2) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
= Idris 2 | = Idris 2 = | ||
{{Change_Proposal_Banner}} | {{Change_Proposal_Banner}} | ||
| Line 37: | Line 37: | ||
[https://www.idris-lang.org/ Idris] is a dependently typed functional programming language with first-class types. | [https://www.idris-lang.org/ Idris] is a dependently typed functional programming language with first-class types. | ||
Idris 1 (written in Haskell) has been [https://src.fedoraproject.org/rpms/idris 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 [https://src.fedoraproject.org/rpms/chez-scheme chez-scheme] (preferred and added to Fedora for F41) or [https://src.fedoraproject.org/rpms/racket racket]), which | Idris 1 (written in Haskell) has been [https://src.fedoraproject.org/rpms/idris 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 [https://src.fedoraproject.org/rpms/chez-scheme chez-scheme] (preferred and added to Fedora for F41) or [https://src.fedoraproject.org/rpms/racket racket]), which replaced idris-1. | ||
== Feedback == | == Feedback == | ||
Latest revision as of 09:13, 13 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-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