Changes/Idris2

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.

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.

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

• https://www.idris-lang.org/pages/documentation.html
• https://idris2.readthedocs.io/en/latest/

Release Notes

• idris2 has been added to Fedora