Skip to content(if available)orjump to list(if available)

Löb and Möb: Loops in Haskell

Löb and Möb: Loops in Haskell

4 comments

·November 7, 2025
Visit

gnabgib

(2013) Popular in:

2021 (153 points, 60 comments) https://news.ycombinator.com/item?id=34578411

2018 (86 points, 10 comments) https://news.ycombinator.com/item?id=18159087

sfvisser

Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet...

phplovesong

Uuh i miss the strange loop conference. It was simply the best and most fun programming related conference ever.

anon291

very useful when writing toy assemblers in Haskell as loeb let's you easily resolve labels to addresses once you've output the other instructions. Also a good use of the tardis monad which does the same thing as loeb but with a bit more panache