|about 1 month ago||3 days ago|
|BSD 3-clause "New" or "Revised" License||-|
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.
What's the current status with packages/libraries on Idris?
4 projects | reddit.com/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 | reddit.com/r/ProgrammingLanguages | 10 Sep 2021
Here's Idris' Nat optimisations
How does Idris optimize representation and operations for Nat-like types.
1 project | reddit.com/r/Idris | 2 Sep 2021
Record dot syntax has been merged
8 projects | reddit.com/r/haskell | 10 Mar 2021
As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.
Was simplified subsumption worth it for industry Haskell programmers?
6 projects | reddit.com/r/haskell | 6 May 2022
I believe simplified subsumption is required to implement quick look impredicativity and that is the only practical reason for this change.6 projects | reddit.com/r/haskell | 6 May 2022
This led me to the proposal and I found with simplified subsumption:
[RFC] ImplicitQualifiedImport language extension
1 project | reddit.com/r/haskell | 27 Apr 2022
What are things that the Haskell scene lacks the most?
4 projects | reddit.com/r/haskell | 21 Apr 2022
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
2 projects | reddit.com/r/haskell | 18 Apr 2022
Was this not implemented? https://github.com/ghc-proposals/ghc-proposals/pull/240
Well-Typed - Performance improvements for HLS
1 project | reddit.com/r/haskell | 2 Apr 2022
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)
3 projects | reddit.com/r/haskell | 2 Apr 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?
3 projects | reddit.com/r/haskell | 28 Mar 2022
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.3 projects | reddit.com/r/haskell | 28 Mar 2022
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
3 projects | reddit.com/r/haskell | 24 Mar 2022
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?
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
morte - A bare-bones calculus-of-constructions