Haskell programming language
banner
haskell.org
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
Pinned
Haskell loves you too, little lesbian!
Great article for people who need to perform exploratory data analysis on the performance of their Haskell program!
December 26, 2025 at 5:08 PM
Amazing
This is marvelous.
> Writing an NES emulator in Haskell
arthi-chaud.github.io/posts/funes/
December 26, 2025 at 10:03 AM
Good lessons in there.
Package managers keep using git as a database, it never works out.

https://nesbitt.io/2025/12/24/package-managers-keep-using-git-as-a-database.html
Package managers keep using git as a database, it never works out
Using git as a database is a seductive idea. You get version history for free. Pull requests give you a review workflow. It’s distributed by design. GitHub will host it for free. Everyone already knows how to use it. Package managers keep falling for this. And it keeps not working out. ## Cargo The crates.io index started as a git repository. Every Cargo client cloned it. This worked fine when the registry was small, but the index kept growing. Users would see progress bars like “Resolving deltas: 74.01%, (64415/95919)” hanging for ages, the visible symptom of Cargo’s libgit2 library grinding through delta resolution on a repository with thousands of historic commits. The problem was worst in CI. Stateless environments would download the full index, use a tiny fraction of it, and throw it away. Every build, every time. RFC 2789 introduced a sparse HTTP protocol. Instead of cloning the whole index, Cargo now fetches files directly over HTTPS, downloading only the metadata for dependencies your project actually uses. (This is the “full index replication vs on-demand queries” tradeoff in action.) By April 2025, 99% of crates.io requests came from Cargo versions where sparse is the default. The git index still exists, still growing by thousands of commits per day, but most users never touch it. ## Homebrew GitHub explicitly asked Homebrew to stop using shallow clones. Updating them was “an extremely expensive operation” due to the tree layout and traffic of homebrew-core and homebrew-cask. Users were downloading 331MB just to unshallow homebrew-core. The .git folder approached 1GB on some machines. Every `brew update` meant waiting for git to grind through delta resolution. Homebrew 4.0.0 in February 2023 switched to JSON downloads for tap updates. The reasoning was blunt: “they are expensive to git fetch and git clone and GitHub would rather we didn’t do that… they are slow to git fetch and git clone and this provides a bad experience to end users.” Auto-updates now run every 24 hours instead of every 5 minutes, and they’re much faster because there’s no git fetch involved. ## CocoaPods CocoaPods is the package manager for iOS and macOS development. It hit the limits hard. The Specs repo grew to hundreds of thousands of podspecs across a deeply nested directory structure. Cloning took minutes. Updating took minutes. CI time vanished into git operations. GitHub imposed CPU rate limits. The culprit was shallow clones, which force GitHub’s servers to compute which objects the client already has. The team tried various band-aids: stopping auto-fetch on `pod install`, converting shallow clones to full clones, sharding the repository. The CocoaPods blog captured it well: “Git was invented at a time when ‘slow network’ and ‘no backups’ were legitimate design concerns. Running endless builds as part of continuous integration wasn’t commonplace.” CocoaPods 1.8 gave up on git entirely for most users. A CDN became the default, serving podspec files directly over HTTP. The migration saved users about a gigabyte of disk space and made `pod install` nearly instant for new setups. ## Go modules Grab’s engineering team went from 18 minutes for `go get` to 12 seconds after deploying a module proxy. That’s not a typo. Eighteen minutes down to twelve seconds. The problem was that `go get` needed to fetch each dependency’s source code just to read its go.mod file and resolve transitive dependencies. Cloning entire repositories to get a single file. Go had security concerns too. The original design wanted to remove version control tools entirely because “these fragment the ecosystem: packages developed using Bazaar or Fossil, for example, are effectively unavailable to users who cannot or choose not to install these tools.” Beyond fragmentation, the Go team worried about security bugs in version control systems becoming security bugs in `go get`. You’re not just importing code; you’re importing the attack surface of every VCS tool on the developer’s machine. GOPROXY became the default in Go 1.13. The proxy serves source archives and go.mod files independently over HTTP. Go also introduced a checksum database (sumdb) that records cryptographic hashes of module contents. This protects against force pushes silently changing tagged releases, and ensures modules remain available even if the original repository is deleted. ## Beyond package managers The same pattern shows up wherever developers try to use git as a database. Git-based wikis like Gollum (used by GitHub and GitLab) become “somewhat too slow to be usable” at scale. Browsing directory structure takes seconds per click. Loading pages takes longer. GitLab plans to move away from Gollum entirely. Git-based CMS platforms like Decap hit GitHub’s API rate limits. A Decap project on GitHub scales to about 10,000 entries if you have a lot of collection relations. A new user with an empty cache makes a request per entry to populate it, burning through the 5,000 request limit quickly. If your site has lots of content or updates frequently, use a database instead. Even GitOps tools that embrace git as a source of truth have to work around its limitations. ArgoCD’s repo server can run out of disk space cloning repositories. A single commit invalidates the cache for all applications in that repo. Large monorepos need special scaling considerations. ## The pattern The hosting problems are symptoms. The underlying issue is that git inherits filesystem limitations, and filesystems make terrible databases. **Directory limits.** Directories with too many files become slow. CocoaPods had 16,000 pod directories in a single Specs folder, requiring huge tree objects and expensive computation. Their fix was hash-based sharding: split directories by the first few characters of a hashed name, so no single directory has too many entries. Git itself does this internally with its objects folder, splitting into 256 subdirectories. You’re reinventing B-trees, badly. **Case sensitivity.** Git is case-sensitive, but macOS and Windows filesystems typically aren’t. Check out a repo containing both `File.txt` and `file.txt` on Windows, and the second overwrites the first. Azure DevOps had to add server-side enforcement to block pushes with case-conflicting paths. **Path length limits.** Windows restricts paths to 260 characters, a constraint dating back to DOS. Git supports longer paths, but Git for Windows inherits the OS limitation. This is painful with deeply nested node_modules directories, where `git status` fails with “Filename too long” errors. **Missing database features.** Databases have CHECK constraints and UNIQUE constraints; git has nothing, so every package manager builds its own validation layer. Databases have locking; git doesn’t. Databases have indexes for queries like “all packages depending on X”; with git you either traverse every file or build your own index. Databases have migrations for schema changes; git has “rewrite history and force everyone to re-clone.” The progression is predictable. Start with a flat directory of files. Hit filesystem limits. Implement sharding. Hit cross-platform issues. Build server-side enforcement. Build custom indexes. Eventually give up and use HTTP or an actual database. You’ve built a worse version of what databases already provide, spread across git hooks, CI pipelines, and bespoke tooling. None of this means git is bad. Git excels at what it was designed for: distributed collaboration on source code, with branching, merging, and offline work. The problem is using it for something else entirely. Package registries need fast point queries for metadata. Git gives you a full-document sync protocol when you need a key-value lookup. If you’re building a package manager and git-as-index seems appealing, look at Cargo, Homebrew, CocoaPods, Go. They all had to build workarounds as they grew, causing pain for users and maintainers. The pull request workflow is nice. The version history is nice. You will hit the same walls they did.
nesbitt.io
December 25, 2025 at 11:28 PM
While we could all unite against Go instead…
Haskell devs talking shit about rust is exactly as tiring as rust devs talking shit about Haskell.
December 23, 2025 at 2:38 PM
Reposted by Haskell programming language
does anyone know any other examples of using higher rank types for regions/lifetimes like with runST that aren't ST or bluefin? especially ones related to allocating something off-heap or similar (but anything really. doesn't even have to be in haskell)
December 21, 2025 at 8:28 PM
Let's go
need this quote on a pair of booty shorts
Du hast verdammt recht. Do not use it unless you know it can and will explode to your face.
December 21, 2025 at 8:56 PM
Du hast verdammt recht. Do not use it unless you know it can and will explode to your face.
haskell using `!!` for list indexing appropriately expresses my apprehension for list indexing
December 19, 2025 at 10:50 PM
"Haskell ecosystem activities report: September–November 2025" by Well-Typed

www.well-typed.com/blog/2025/12...

#Haskell
Haskell ecosystem activities report: September–November 2025
Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.
www.well-typed.com
December 19, 2025 at 4:19 PM
Reposted by Haskell programming language
The new episode of the Haskell Interlude with Lennart Augustsson was done at @zurihac.bsky.social jointly with #TypeTheoryForAll. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers.
haskell.foundation/podcast/74/
Lennart Augustsson
This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It reflects on decades of work in language design and compiler impleme...
haskell.foundation
December 19, 2025 at 3:06 PM
"The Subtle Footgun of TVar (Map _ _)" by Matt Parsons

www.parsonsmatt.org/2025/12/17/t...

#Haskell
The Subtle Footgun of TVar (Map _ _)
How coarse-grained STM containers can livelock under load
www.parsonsmatt.org
December 18, 2025 at 9:39 PM
"A different way to do concurrency — #Haskell 's STM monad" by Elisabeth Stenholm
www.youtube.com/watch?v=d-NZ...
A different way to do concurrency — Haskell’s STM monad by Elisabeth Stenholm
YouTube video by Func Prog Sweden
www.youtube.com
December 18, 2025 at 2:53 PM
Go slander will stop as soon as the language will respect its users.
Go is a deeply unserious language.
December 18, 2025 at 1:46 PM
Reposted by Haskell programming language
Just updated the dataframe SQL library to auto generate expression bindings from the table types.

The read input surface is looking pretty great now: CSV, JSON lines, Parquet and now various SQL DBs.

hackage.haskell.org/package/data...
dataframe-persistent
Persistent database integration for the dataframe library
hackage.haskell.org
December 18, 2025 at 11:30 AM
The best example out there is the `validation-selective` package flora.pm/packages/@ha...
December 16, 2025 at 1:48 PM
Me when the compiler (rightfully) starts spewing errors about my non-euclidian function signatures
December 16, 2025 at 1:47 PM
You know it is! Welcome aboard. :)
Maybe 2026 will be the year i finally learn haskell
December 15, 2025 at 9:25 PM
🎉 Release 1.0.0 of ClickHaskell, the #Haskell implementation of ClickHouse DBMS Native protocol, has been published! See github.com/KovalevDima/... and clickhaskell.dev
Release ClickHaskell-1.0.0 · KovalevDima/ClickHaskell
Fixes: Fixed unexpected behavior when the number of result columns was different from expected. A UserError exception UnmatchedColumnsCount is now raised in such cases (+ added test) Query seriali...
github.com
December 14, 2025 at 5:02 PM
"Easy Type-Level Flags In #Haskell" by Grégoire Locqueville glocq.github.io/en/blog/2025...
Grégoire Locqueville | Easy Type-Level Flags In Haskell
glocq.github.io
December 14, 2025 at 4:57 PM
Girls just wanna have fun ✨
Rust girls 🤝 Haskell girls

Enjoying the Christmas
markets in Düsseldorf
December 13, 2025 at 4:38 PM
Foolproof method
your next game should be written in #haskell and represent life points and money and other state in peano numeral. this makes your game cheat engine proof cause who the heck knows what a haskell heap looks like
December 13, 2025 at 8:03 AM
🥸👍
If I ever start doing haskell on embedded (the kind of hobby projects I usually do), know the it would solely be because of how good your bsky game is, haskell.
December 12, 2025 at 9:40 PM
Some #Haskell talks from #LambdaDays 2025

"Create your first Language Server in Haskell" by Arthur Jamet

youtu.be/N33Q0cmnnVg

@lambdadays.bsky.social
Create your first Language Server in Haskell - Arthur Jamet | Lambda Days 2025
YouTube video by Code Sync
youtu.be
December 11, 2025 at 3:27 PM
Reposted by Haskell programming language
We have some bittersweet news: Lambda Days will take a break in 2026.
But - we’re releasing something special 💛
🎥 All Lambda Days 2025 talk recordings are now public!
👉 youtube.com/playlist?lis...
Lambda Days 2025 - YouTube
youtube.com
December 11, 2025 at 2:12 PM
Reposted by Haskell programming language
Take the state of #haskell survey for 2025: www.surveymonkey.com/r/6M3Z6NV

My first answer 🥲
December 11, 2025 at 12:51 PM