ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell (by ocharles)
idris-okasaki-pfds | ghc-proposals | |
---|---|---|
2 | 2 | |
- | 0 | |
- | - | |
- | 0.0 | |
- | about 1 year ago | |
Python | ||
- | - |
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-okasaki-pfds
Posts with mentions or reviews of idris-okasaki-pfds.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-15.
-
What things would be awkward to do in a hypothetical "strict" Haskell variant, that are now not awkward to do?
https://gitlab.com/bss03/idris-okasaki-pfds/-/blob/master/src/BootstrappedQueue.idr is what I was thinking about. (It is just a queue, not a deque.)
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-08-15.
-
What things would be awkward to do in a hypothetical "strict" Haskell variant, that are now not awkward to do?
Fully agreed, I would love to see a way to make recursion "opt-in", as in this GHC proposal: https://github.com/ocharles/ghc-proposals/blob/letrec/proposals/0000-letrec.md
-
[GHC Proposal] (No)RecursiveLet: Prevent accidental recursion in let bindings
rendered
What are some alternatives?
When comparing idris-okasaki-pfds and ghc-proposals you can also consider the following projects:
benchmarks - Some benchmarks of different languages