|almost 3 years ago||about 14 hours ago|
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.
Monad Transformers and Effects with Backpack
3 projects | reddit.com/r/haskell | 24 Dec 2020
What would be the advantage of having signatures of such fine granularity vs. having a big signature for your program logic which describes a monad with all the required MonadState, MonadReader... interfaces, and then an implementation module which assembles the whole monad transformer stack in the usual way? Something a bit like this?
Doing theorem proving with Haskell
2 projects | reddit.com/r/haskell | 16 Aug 2022
TypeApplications for an Applicative
1 project | reddit.com/r/haskell | 15 Aug 2022
Quote from the Modern Scoped Type Variables "principles" page
GHC 9.4.1 is now available
6 projects | news.ycombinator.com | 12 Aug 2022
* A proposal* to work towards supporting dependent types was accepted
A lot more of course but it all points to making haskell more enjoyable to get into and use, and a good future ahead.6 projects | news.ycombinator.com | 12 Aug 2022
\cases is a nice syntax improvement https://github.com/ghc-proposals/ghc-proposals/blob/master/p...
kodimensional :: Avoiding space leaks at all costs
2 projects | reddit.com/r/haskell | 9 Aug 2022
And he links to https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst - the GHC proposal for Unlifted Datatypes. I have enjoyed reading it. My understanding is that this proposal is available in GHC 9.2 - I am on the latest stable NixOS, 22.05 and have GHC 9.0.2 at the moment. I guess 9.2 might come with 22.11.
Multiple-clause function definitions are now obsoleted by \cases so I'd like to do away with the former in favour of the latter. (I believe Elm doesn't allow multiple-clause function definitions but I don't believe it has \case or \cases.)
That's a fair point. In that case instead of opening new proposal, it might be better to propose to implement the existing proposal (#43) in two steps. First without binding and then with. By the way I think #43 use | instead of ;.
Identity functor in a mathematical sense
1 project | reddit.com/r/haskell | 12 Jul 2022
This is the identity "functor" you are looking for, except for two problems.. it is unmatchable and it works for any object. This is incompatible with Functor so we cannot talk about it today without making it polykinded and allowing instance for unsaturated type families like Id.
4 projects | reddit.com/r/haskell | 25 Jun 2022
relaxing the overlap checking so it happens at use sites https://github.com/ghc-proposals/ghc-proposals/pull/515
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
idris - A Dependently Typed Functional Programming Language
haddock - Haskell Documentation Tool
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
ghc - Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
frp-zoo - Comparing many FRP implementations by reimplementing the same toy app in each.
Cabal - Official upstream development repository for Cabal and cabal-install
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.