Idris Alternatives

idris reviews and mentions

• (strongly typed) functional language compilers running in browser
  3 projects | /r/functionalprogramming | 31 Mar 2023

  there're a lot of languages that can target js/wasm these days, some of which are even self-hosting (ghc) and can target browser (ghcjs), a lot are written in haskell which again can target browser but the closest to my request i've found is an old thread of idris supposedely compilable by ghcjs and while there are plenty "run your code in browser (via server compilation)" services i've yet to see a working "running compiler in browser in browser example"

• What's the current status with packages/libraries on Idris?
  4 projects | /r/Idris | 28 Nov 2021

  So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using.

• Optimizing Unary Arithmetic in my language
  1 project | /r/ProgrammingLanguages | 10 Sep 2021

  Here's Idris' Nat optimisations

• How does Idris optimize representation and operations for Nat-like types.
  1 project | /r/Idris | 2 Sep 2021
• Record dot syntax has been merged
  8 projects | /r/haskell | 10 Mar 2021

  As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.

• A note from our sponsor - SaaSHub
  www.saashub.com | 19 Jan 2025

  SaaSHub helps you find the best software and product alternatives Learn more →