Proposed compiler and language changes for GHC and GHC/Haskell
FYI there was a proposal for a "Haskell 2021 Language" Extensions (similar to Haskell 98 and 2010), which was approved. This enables a bunch of extensions (and I guess will become default): https://github.com/ghc-proposals/ghc-proposals/blob/master/p...
That being said, while there are alternative preludes, I'm not sure how or when (or ever) the current prelude will be changed or replaced.
In terms of language evolution, the community seems to focus on further extensions of the Type System (linear types, quicklook impredicativity, dependent types), where I think there is a bigger need in better tooling. Of course, there too, lots of things are happening, like haskell-language-server, ghc-debug etc. etc.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Coming from a math background, once I had the syntax sorted and could write a few simple file parsers, “Category theory for programmers” helped me understand some of what the Haskell type system is trying to accomplish. (Endofunctors of the category of Haskell types). I didn’t and still don’t understand the template C++ in the book but still my favorite Haskell resource. Caveat: I just started learning this last year.
Developer Ecosystem Survey 2022. Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.
A standard library for Haskell (by commercialhaskell)
> Can we move to a better standard lib? Here Snoyman has put forward a great effort by releasing his classy-prelude, but iirc he also stopped using it.
He mentioned https://github.com/commercialhaskell/rio in the 1st article, it's interesting, I wasn't aware of it. (I am using classy-prelude but I might try it out.)
Parsing, analyzing, and comparing source code across many languages
The core component that is used to participate in a Cardano decentralised blockchain.
Depends your definition of "significance" but Cardano is written in Haskell, and its main smart contract language is also Haskell.
x = x + 1
1 project | reddit.com/r/mathmemes | 12 Jun 2022
Monthly Hask Anything (June 2022)
5 projects | reddit.com/r/haskell | 3 Jun 2022
Haskell Libraries I Love
2 projects | reddit.com/r/haskell | 30 May 2022
1 project | reddit.com/r/CategoryTheory | 28 May 2022
The Dao of Functional Programming [pdf]
2 projects | news.ycombinator.com | 22 May 2022