banner
LightNews
haskell.org
Haskell programming language
@haskell.org
1.9K followers 100 following 380 posts
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
haskell.org
Posts Media Videos Starter Packs
Pinned
haskell.org
Haskell programming language @haskell.org · Jun 3
Haskell loves you too, little lesbian!
1 120 430
haskell.org
Haskell programming language @haskell.org · 22h
[…] The love for data modelling is sometimes that unites Relational DBMS and functional programmers. Here's a talk by Lilly Ryan at PyCon AU 2025 about the mismatches between reality, the programmer's perception of reality, and what the software says reality is: www.youtube.com/watch?v=GBHG...
"Falsehoods Programmers Believe About Reality" - Lilly Ryan (PyCon AU 2025)
YouTube video by PyCon AU
www.youtube.com
2 9
haskell.org
Haskell programming language @haskell.org · 22h
Programming languages of the ML family are often heralded as having powerful type systems that allow them to model the complexity of the real world, in a way that is less bad than the competition. The potential absence of a value is described not an implementation detail due to an undefined/null…
1 14
haskell.org
Haskell programming language @haskell.org · 1d
The mad lads have made it: Two Haskellers went to the town of #Haskell, TX. They documented their journey here: www.youtube.com/watch?v=9KwW...

See on Reddit: www.reddit.com/r/haskell/co...
Cowboys from Haskell
YouTube video by r. guitars
www.youtube.com
2 10
haskell.org
Haskell programming language @haskell.org · 1d
No thanks 😌
1
haskell.org
Haskell programming language @haskell.org · 2d
It even uses hand-written Cmm – a low-level IR of GHC – to influence the generated code and make sure you get the best atomic CPU instructions. See github.com/sergv/atomic...
atomic-counter/Counter.cmm at master · sergv/atomic-counter
Haskell counters that can be safely incremented from multiple threads - sergv/atomic-counter
github.com
5
haskell.org
Haskell programming language @haskell.org · 2d
Shout-out to a reliable and solid piece of software engineering in the #Haskell ecosystem: atomic-counter.

A thread-safe, optimised package that provides enough of an API to be useful for when you need to manipulate a counter in a multi-threaded application.

hackage.haskell.org/package/atom...
atomic-counter
Mutable counters that can be modified with atomic operatinos
hackage.haskell.org
1 16
haskell.org
Haskell programming language @haskell.org · 3d
Very cool. You should take the benchmarks from github.com/Bodigrim/lin... and compare your implementation. :)
GitHub - Bodigrim/linear-builder: Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time. - Bodigrim/linear-builder
github.com
Reposted by Haskell programming language
chrispenner.ca
Chris Penner @chrispenner.ca · 3d
What do folks out there do for error handling in concurrent tasks in #Haskell?

For now I've settled on having an error `TMVar`, then use a `ki` structured concurrency scope which forks all my jobs and ends in an `(Right <$> awaitAll) <|> (Left <$> readTMVar errVar)`
2 3 7
haskell.org
Haskell programming language @haskell.org · 4d
The internet is too cruel for an anime girl.
3
Reposted by Haskell programming language
pragprog.com
The Pragmatic Bookshelf ✅ @pragprog.com · 4d
Brand New Beta -
Challenge and exercise your functional programming knowledge by tackling these 20 fun, funky, and functional puzzles on Haskell. Topics like lazy evaluation, Haskell syntax, type classes, the type system, and popular libraries.

pragprog.com/titles/...
2 21
haskell.org
Haskell programming language @haskell.org · 7d
lmao
3
haskell.org
Haskell programming language @haskell.org · 9d
Let's goooo
mschav.bsky.social
Michael Chavinda @mschav.bsky.social · 9d
Rebooting the work started by @ocramz.bsky.social with dataHaskell

Come through: discord.gg/UXcv5Eaz
Join the DataHaskell Discord Server!
Check out the DataHaskell community on Discord - hang out with 5 other members and enjoy free voice and text chat.
discord.gg
6
haskell.org
Haskell programming language @haskell.org · 9d
Congratulations Jan!
jvanbruegge.cerberus-systems.de
Jan van Brügge @jvanbruegge.cerberus-systems.de · 9d
#Haskell language server was just released and it includes my changes to the notes plugin. You can now use "find references" to see all the places that reference a given note
A screenshot of Neovim with the cursor on a GHC-style note. In a window on the lower screen it shows two file paths with line numbers and short previews of note references
1 24
haskell.org
Haskell programming language @haskell.org · 9d
Ask your Arch packager dixonary.co.uk/blog/haskell...
Haskell on Arch Linux in 2020
dixonary.co.uk
haskell.org
Haskell programming language @haskell.org · 12d
yup
1
Reposted by Haskell programming language
jigypeper.bsky.social
Ahmed Hagi @jigypeper.bsky.social · 13d
If anyone hasn’t read it yet, I recommend effective Haskell. I’ve not finished it.
But so far so good.
#cpd #haskell #functional
2 13
Reposted by Haskell programming language
chrispenner.ca
Chris Penner @chrispenner.ca · 13d
New blog post!

#Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better?

What's the big deal with Applicatives and Selective Applicatives?

Read on!

chrispenner.ca/posts/expres...
Monads are too powerful: The Expressiveness Spectrum
Monads are a useful tool, but what costs do we pay for their expressive power?
chrispenner.ca
4 8 30
haskell.org
Haskell programming language @haskell.org · 13d
The Typeclassopedia is missing one entry…
greatdismal.bsky.social
William Gibson @greatdismal.bsky.social · 14d
3 39
Reposted by Haskell programming language
greatdismal.bsky.social
William Gibson @greatdismal.bsky.social · 14d
48 2.1K 9.2K
Reposted by Haskell programming language
chreke.com
chreke @chreke.com · 13d
New Func Prog Podcast! In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory!

Spotify: open.spotify.com/episode/4GEp...
Apple Podcasts: podcasts.apple.com/se/podcast/f...
YouTube: www.youtube.com/watch?v=CS4I...
RSS: anchor.fm/s/10395bc40/...
#11 Elisabeth Stenholm
open.spotify.com
2 6
haskell.org
Haskell programming language @haskell.org · 13d
🥸👍
ember.pet
Ember @ember.pet · 14d
the best sales pitch i've heard for haskell yet, frankly
haskell.org
Haskell programming language @haskell.org · Jun 3
Haskell loves you too, little lesbian!
2 22
haskell.org
Haskell programming language @haskell.org · 13d
Intuition comes with practice, you'll get to it. ;)
1
haskell.org
Haskell programming language @haskell.org · 13d
thanks!
1
haskell.org
Haskell programming language @haskell.org · 13d
'ere you go hackage.haskell.org/package/base...
Prelude
hackage.haskell.org
3
haskell.org
Haskell programming language @haskell.org · 14d
The maxim "it's always `traverse`" helps a lot. sequenceA is defined in terms of `traverse id`. Once you use traverse a bit, you will see its different declinations and specialisations in the wild more clearly. :)
1 1