idris
A Dependently Typed Functional Programming Language (by idris-lang)
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell (by ghc-proposals)
Our great sponsors
| idris | ghc-proposals | |
|---|---|---|
| 4 | 95 | |
| 3,341 | 584 | |
| 0.1% | 0.7% | |
| 5.2 | 8.5 | |
| about 1 month ago | 3 days ago | |
| Haskell | Python | |
| BSD 3-clause "New" or "Revised" License | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris
Posts with mentions or reviews of idris.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-28.
-
What's the current status with packages/libraries on Idris?
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
Here's Idris' Nat optimisations
- How does Idris optimize representation and operations for Nat-like types.
-
Record dot syntax has been merged
As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.
ghc-proposals
Posts with mentions or reviews of ghc-proposals.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-06.
-
Was simplified subsumption worth it for industry Haskell programmers?
I believe simplified subsumption is required to implement quick look impredicativity and that is the only practical reason for this change.
This led me to the proposal and I found with simplified subsumption:
- [RFC] ImplicitQualifiedImport language extension
-
What are things that the Haskell scene lacks the most?
We have modifiers with the % symbol, they are currently only used in linear types: a %1 -> b, but they are not limited to that.
-
Basic questions about GHC options
Was this not implemented? https://github.com/ghc-proposals/ghc-proposals/pull/240
-
Well-Typed - Performance improvements for HLS
I understand that the linked Explicit Splice Imports could help with that, but in theory would there be anything preventing us from tracking automatically exactly which functions make it into a splice for optimally fine-grained recompilation avoidance?
-
Monthly Hask Anything (April 2022)
These differences via eta expansion/reduction are probably due to simplified subsumption introduced in GHC 9.0 (also see the linked GHC proposal.
-
GHC Proposal breakage: should we proceed?
As for unifying type and term: I think we're headed in that direction. According to https://github.com/ghc-proposals/ghc-proposals/pull/448, we will accept your "foo" example, and so it makes sense also to do so in types.
Inferred variables as a concept seems to be against "Explicit Variable Principle (EVP)" (mentioned in https://github.com/goldfirere/ghc-proposals/blob/type-variables/principles.rst, linked from https://github.com/ghc-proposals/ghc-proposals/pull/448). I agree with that priciple.
-
GHC Proposal: -Wincomplete-field-binds and RecordDontCarePatterns
There are a few proposals it seems. I think the first question is whether you want strict-by-default with local opt out (this proposal), or vice versa. I think a local annotation that means "I intend to use all the fields" (as in https://github.com/ghc-proposals/ghc-proposals/pull/436) is more useful; ime that's a special case.
What are some alternatives?
When comparing idris and ghc-proposals you can also consider the following projects:
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Elm - Compiler for Elm, a functional language for reliable webapps.
hyper-haskell-server - The strongly hyped Haskell interpreter.
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
julia - The Julia Programming Language
ghc-proofs - Let GHC prove program equations for you
hackager - Tool to test GHC against all of Hackage
pi-forall - A demo implementation of a simple dependently-typed language
hoogle - Haskell API search engine
dhall-text
morte - A bare-bones calculus-of-constructions
haste-compiler - A GHC-based Haskell to JavaScript compiler