Haskell programming language
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Pinned
Haskell loves you too, little lesbian!
Sometimes coroutines and suspended computations are not worth it *that* much. Great movie though.
TENET (2020) is actually a great depiction of what understanding the control flow of algebraic effects feels like.
November 29, 2025 at 10:48 AM
Sometimes coroutines and suspended computations are not worth it *that* much. Great movie though.
The 2020's have to be the decade of great tooling for #Haskell. More investment in Developer Experience, reliable foundations and predictable performance will see us gain a lot of street cred.
A pure functional programming language has long been a utopian dream.
We suddenly have 3 strong contenders:
* @haskell.org with better tooling
* Lean 4, adopted by mathematicians
* @unison-lang.org out in v 1.0
Good time to revisit pure.
We suddenly have 3 strong contenders:
* @haskell.org with better tooling
* Lean 4, adopted by mathematicians
* @unison-lang.org out in v 1.0
Good time to revisit pure.
November 29, 2025 at 10:45 AM
The 2020's have to be the decade of great tooling for #Haskell. More investment in Developer Experience, reliable foundations and predictable performance will see us gain a lot of street cred.
Reposted by Haskell programming language
New episode of the Func Prog Podcast! This time I’m chatting with Robert Kreuzer from Channable about using Haskell in production, getting a job as a Haskell programmer and an epic Haskell VS Rust showdown!
Listen to it in your favourite podcast player—links below!👇
Listen to it in your favourite podcast player—links below!👇
November 28, 2025 at 1:02 PM
New episode of the Func Prog Podcast! This time I’m chatting with Robert Kreuzer from Channable about using Haskell in production, getting a job as a Haskell programmer and an epic Haskell VS Rust showdown!
Listen to it in your favourite podcast player—links below!👇
Listen to it in your favourite podcast player—links below!👇
Congrats Ola! A new #Haskell streamer has entered the arena!
First stream! Worked on some discrete math and my Haskell redis server. Let me know what you think!
youtu.be/mFA4GK0vudc?...
youtu.be/mFA4GK0vudc?...
[Haskell] Let's make a Redis server! Might also include some discrete math antics. Viewer discretion
YouTube video by ola_musta
youtu.be
November 27, 2025 at 8:11 PM
Congrats Ola! A new #Haskell streamer has entered the arena!
"Google Summer of Code 2025 Wrap-up" on the #Haskell blog! Come see what our students contributed to the ecosystem during their time! blog.haskell.org/gsoc-2025/
Google Summer of Code 2025 Wrap-up | The Haskell Programming Language's blog
blog.haskell.org
November 26, 2025 at 10:45 AM
"Google Summer of Code 2025 Wrap-up" on the #Haskell blog! Come see what our students contributed to the ecosystem during their time! blog.haskell.org/gsoc-2025/
"A tale of two kernels" on the DataHaskell blog www.datahaskell.org/blog/2025/11...
#Jupyter #Haskell
#Jupyter #Haskell
A tale of two kernels
Overview
www.datahaskell.org
November 26, 2025 at 9:19 AM
"A tale of two kernels" on the DataHaskell blog www.datahaskell.org/blog/2025/11...
#Jupyter #Haskell
#Jupyter #Haskell
Wait until you see what's next 😘
i've started playing with monad transformers in haskell; really good stuff
November 25, 2025 at 9:44 PM
Wait until you see what's next 😘
Reposted by Haskell programming language
something I really appreciate about some of my favorite languages (haskell, rust, lean) is that they actually try to make things better and to give you good tools that work well.
November 22, 2025 at 3:39 PM
something I really appreciate about some of my favorite languages (haskell, rust, lean) is that they actually try to make things better and to give you good tools that work well.
Did you know? While not a perfect replacement, `cabal` can use Stackage package sets by importing the version constraints file that is provided by stackage.org. Create a `cabal.project` file and add the lines:
```
packages: ./
import: www.stackage.org/lts-24.4/cab...
```
🥳
#Haskell
```
packages: ./
import: www.stackage.org/lts-24.4/cab...
```
🥳
#Haskell
Stackage Server
stackage.org
November 21, 2025 at 1:48 PM
Did you know? While not a perfect replacement, `cabal` can use Stackage package sets by importing the version constraints file that is provided by stackage.org. Create a `cabal.project` file and add the lines:
```
packages: ./
import: www.stackage.org/lts-24.4/cab...
```
🥳
#Haskell
```
packages: ./
import: www.stackage.org/lts-24.4/cab...
```
🥳
#Haskell
Reposted by Haskell programming language
Nominations are open for anyone interested in serving a 3 year term on the Haskell.org Committee (discourse.haskell.org/t/haskell-or...).
If you're interested in making @haskell.org better, please consider nominating yourself. You can reach out to me or anyone on the committee for more info.
If you're interested in making @haskell.org better, please consider nominating yourself. You can reach out to me or anyone on the committee for more info.
Haskell.org Committee: Call for Nominations (2026 - 2028 Term)
Dear Haskellers, We are pleased to announce that nominations are now open for the Haskell.org committee. You can nominate yourself or a friend for a three-year term (2026-2028) by sending an email ...
discourse.haskell.org
November 20, 2025 at 12:32 AM
Nominations are open for anyone interested in serving a 3 year term on the Haskell.org Committee (discourse.haskell.org/t/haskell-or...).
If you're interested in making @haskell.org better, please consider nominating yourself. You can reach out to me or anyone on the committee for more info.
If you're interested in making @haskell.org better, please consider nominating yourself. You can reach out to me or anyone on the committee for more info.
Reposted by Haskell programming language
always nice to see when Frege (Haskell for the JVM) moves forward. Here: auto derive fromJSON toJSON instances github.com/Frege/frege/...
Merge pull request #398 from poeik/master · Frege/frege@ac9b610
Add automatic instance derivation for FromJSON/ToJSON
github.com
November 19, 2025 at 7:12 PM
always nice to see when Frege (Haskell for the JVM) moves forward. Here: auto derive fromJSON toJSON instances github.com/Frege/frege/...
The Wtf monad trivially solves this of course /s
Assessing the quality of a random number generator is luckily quite simple. Every time it gives you a value, ask yourself: did I expect this to happen?
November 18, 2025 at 9:56 PM
The Wtf monad trivially solves this of course /s
Reposted by Haskell programming language
Assessing the quality of a random number generator is luckily quite simple. Every time it gives you a value, ask yourself: did I expect this to happen?
November 18, 2025 at 9:13 PM
Assessing the quality of a random number generator is luckily quite simple. Every time it gives you a value, ask yourself: did I expect this to happen?
Reposted by Haskell programming language
being proficient in #haskell might help you grasp some category theory; it didn't help in my case, but it is tremendously helpful in understanding some other less abstract fields like group theory and linear algebra
November 17, 2025 at 3:13 PM
being proficient in #haskell might help you grasp some category theory; it didn't help in my case, but it is tremendously helpful in understanding some other less abstract fields like group theory and linear algebra
Spooky season is over!
Haskell might be the language of the devil
November 17, 2025 at 6:42 PM
Spooky season is over!
Reposted by Haskell programming language
You need to be a genius to write programs in it. If I can do it most people can.
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 4:30 PM
You need to be a genius to write programs in it. If I can do it most people can.
Reposted by Haskell programming language
not a "real world" (??) language
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 4:00 PM
not a "real world" (??) language
Reposted by Haskell programming language
Haskell is lazy.
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 2:43 PM
Haskell is lazy.
Reposted by Haskell programming language
"You write more whitepapers about writing Haskell than you actually write Haskell".
To this day have never written a whitepaper
To this day have never written a whitepaper
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 1:29 PM
"You write more whitepapers about writing Haskell than you actually write Haskell".
To this day have never written a whitepaper
To this day have never written a whitepaper
Reposted by Haskell programming language
My comp sci department loved this article when it came out a few years ago. It's great to know other people have also appreciated it!
November 17, 2025 at 10:52 AM
My comp sci department loved this article when it came out a few years ago. It's great to know other people have also appreciated it!
Reposted by Haskell programming language
These two phrases:
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.
That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.
That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 10:48 AM
These two phrases:
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.
That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.
That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
Parallelism ≠ Concurrency, and none of those are trivial!
Haskell is trivially parallel, and the compiler will insert parallelism for you automatically
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
November 17, 2025 at 9:45 AM
Parallelism ≠ Concurrency, and none of those are trivial!
At some point one has to wonder if that rumour is not perpetuated by the same kind of company that would hide their usage of Erlang and say "oh yeah we just use… uh… java, yeah."
"No successful projects use Haskell"
During my "advocacy" phase I had a mental list of projects I had to keep citing.
During my "advocacy" phase I had a mental list of projects I had to keep citing.
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
November 17, 2025 at 9:44 AM
At some point one has to wonder if that rumour is not perpetuated by the same kind of company that would hide their usage of Erlang and say "oh yeah we just use… uh… java, yeah."
Awesome
November 17, 2025 at 9:07 AM
Awesome
Reposted by Haskell programming language
laziness is an extremely important property of the language that comes up all the time and makes it harder to reason about code
Quote-post with your favourite bit of #HaskellDisinformation. We'll start: It is well-grounded in Category Theory, and you must learn it in order to program with the language.
i really wish people that don't actively use haskell understood haskell, like, at all
November 17, 2025 at 9:06 AM
laziness is an extremely important property of the language that comes up all the time and makes it harder to reason about code