|3 months ago||9 days ago|
|GNU General Public License v3.0 only||-|
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.
Record dot syntax has been merged
8 projects | reddit.com/r/haskell | 10 Mar 2021
I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-220.127.116.11/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.
1 project | reddit.com/r/haskell | 23 May 2022
There is the RecursiveLet proposal.
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.
What are some alternatives?
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
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
hoogle - Haskell API search engine
rio-orphans - A standard library for Haskell
haddock - Haskell Documentation Tool
idris - A Dependently Typed Functional Programming Language
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.
freer-simple - A friendly effect system for Haskell