Haskell Planetarium

Link aggregator of discussions about the Haskell programming language

Discourse

[ANN] Rivulet Window Manager
20 answers
Tue 2026/04/14
How to filter out vibe-coded dependencies
42 answers
Tue 2026/04/14
Tinycheck: A lightweight enumeration-based property testing library
1 answer
Mon 2026/04/13
Haskell Interlude #80: POPL 2026 - Part 1
Mon 2026/04/13
A compact for responsible use of AI tools
3 answers
Sun 2026/04/12
[ANN] first release of hs-wayland-scanner
1 answer
Sun 2026/04/12
Bonjour Haskell: data visualizations
Sat 2026/04/11
[RFC] hspec-quickcheck-classes: testing typeclass laws from Hspec
Sat 2026/04/11
[ANN] apecs-brillo-0.1.1
Fri 2026/04/10
Issue 519 :: Haskell Weekly newsletter
1 answer
Fri 2026/04/10

Reddit

Should I use Haskell to help me write a proof?
13 comments
Mon 2026/04/13
Ormolu strange behaviour
3 comments
Mon 2026/04/13
Making a JSON Parser in Haskell (educational)
6 comments
Mon 2026/04/13
Haskell Interlude #80: POPL 2026 - Part 1
Mon 2026/04/13
What's the equivalent of Class Diagrams for FP?
25 comments
Sun 2026/04/12
Bonjour Haskell: data visualizations
Sat 2026/04/11
How to convince a big corporate to use Haskell
24 comments
Sat 2026/04/11
Any big corporations, that uses haskell extensively
41 comments
Sat 2026/04/11
How does STM work under the hood?
15 comments
Fri 2026/04/10
Haskell for Dilettantes: What the Functor?
Fri 2026/04/10

Planet Haskell

Haskell Interlude: 80: POPL 2026 - Part 1
Mon 2026/04/13
Dan Piponi (sigfpe): A Simple Switch Makes Code Differentiable
Sun 2026/04/12
Philip Wadler: Wet Sidewalks and Odd Numbers
Thu 2026/04/09
Dan Piponi (sigfpe): "What does it take to be a hero?" revisited
Thu 2026/04/09
Russell O'Connor: Nash Equilibrium for Terminal Maneuvers
Thu 2026/04/02
Tweag I/O: Accessing external resources reliably with Bazel
Thu 2026/04/02
Well-Typed.Com: Second pre-release of hs-bindgen
Fri 2026/03/27
GHC Developer Blog: GHC 9.12.4 is now available
Fri 2026/03/27
Chris Smith 2: Athena Loses a Bet
Wed 2026/03/25
Haskell Interlude: 79: Peter Thiemann
Sun 2026/03/22

Stack Overflow

Why doesn't GHC automatically add injectivity annotation to closed type families (provided that insntances don't conflict with it)?
2 answers
Tue 2026/03/31
what's a good functional language for someone coming from perl?
16 answers
Sun 2026/03/29
What is the grammar of GADTs and ADTs in GHC2024?
1 answer
Fri 2026/03/27
Why explicitly writing a singleton ctor - instead of just _ - is necessary in the context of dependent types?
1 answer
Thu 2026/03/26
Looking for a term of art ("pseudo-phantom type"?) in typeful programming
18 answers
Tue 2026/03/24
Halving a list with lazy evaluation
1 answer
Sun 2026/03/15
How can I apply tail/tails to a string of text in a Unicode-aware manner?
Mon 2026/03/09
Is there a feature (pattern synonyms?) to turn a datatype into syntactic sugar for constructing another datatype?
2 answers
Sun 2026/03/08
How to filter a length-indexed list (GADT)
7 answers
Fri 2026/03/06
How do I recover Haskell Stack's ghcup integration after deleting the global stack config?
1 answer
Mon 2026/03/02

Code Review Stack Exchange

Augment vi editing mode in haskeline by implementing the ; and , commands
Wed 2025/09/03
How to implement an AVL tree efficient enough in Haskell?
1 answer
Tue 2025/04/01
Pattern Finding In Lists of Strings (2d Char Array), Advent of Code Day 04 Solution
2 answers
Fri 2024/12/20
Value-level proofs of type-level membership and subset relations in Haskell
Fri 2024/12/06
HackerRank, Haskell simple "compression" algorithm
3 answers
Sun 2024/08/18
Scraping the calendar of some public libraries from their websites
1 answer
Sat 2024/08/03
Haskell 2-player TicTacToe terminal game
1 answer
Fri 2024/06/07
Parse 2D Cartesian coordinates and output their Polar form
1 answer
Mon 2024/05/13
Last Stone Weight Problem in Haskell Using `fold`
Fri 2024/03/29
Last Stone Weight Problem in Haskell using list `insert`
1 answer
Tue 2024/03/19

Haskell Weekly

Issue 519 - 2026-04-09
Thu 2026/04/09
Issue 518 - 2026-04-02
Thu 2026/04/02
Issue 517 - 2026-03-26
Thu 2026/03/26
Issue 516 - 2026-03-19
Thu 2026/03/19
Issue 515 - 2026-03-12
Thu 2026/03/12
Issue 514 - 2026-03-05
Thu 2026/03/05
Issue 513 - 2026-02-26
Thu 2026/02/26
Issue 512 - 2026-02-19
Thu 2026/02/19
Issue 511 - 2026-02-12
Thu 2026/02/12
Issue 510 - 2026-02-05
Thu 2026/02/05