F42 Change Proposal: Idris 2 (self-contained)

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.

Wiki
Announced

:link: Summary

Idris 2 is a dependently typed practical functional programming language.

:link: Owner

:link: 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.

:link: Feedback

:link: Benefit to Fedora

Continue to provide an easy way to install the Idris programming language.

:link: Scope

  • Proposal owners:
    • complete the package review of idris2 (review)
    • build idris2 for Fedora

:link: Upgrade/compatibility impact

If idris-1 can no longer build with Changes/Haskell_GHC_9.8_and_Stackage_23 then idris2 can obsolete it.

:link: How To Test

  • install idris2
  • try examples from tutorial etc

:link: User Experience

Users will be able to use the latest major version of the Idris programming language easily.

:link: Dependencies

:link: 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

:link: Documentation

:link: Release Notes

  • idris2 has been added to Fedora

Last edited by @amoloney 2025-01-15T23:18:21Z

Last edited by @amoloney 2025-01-15T23:18:21Z

How do you feel about the proposal as written?

  • Strongly in favor
  • In favor, with reservations
  • Neutral
  • Opposed, but could be convinced
  • Strongly opposed
0 voters

If you are in favor but have reservations, or are opposed but something could change your mind, please explain in a reply.

We want everyone to be heard, but many posts repeating the same thing actually makes that harder. If you have something new to say, please say it. If, instead, you find someone has already covered what youโ€™d like to express, please simply give that post a :heart: instead of reiterating. You can even do this by email, by replying with the heart emoji or just โ€œ+1โ€. This will make long topics easier to follow.

Please note that this is an advisory โ€œstraw pollโ€ meant to gauge sentiment. It isnโ€™t a vote or a scientific survey. See About the Change Proposals category for more about the Change Process and moderation policy.

Oh my, this brings back memories, Kent Dybvig (Chez author) was a professor at my grad school

I totally forgot it got open sourced