@blog.jle.im@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
Site URL: blog.jle.im/
Feed URL: feeds.feedburner.com/incodeblog
Posts: 5
Followers: 1
"Five-Point Haskell": Unconditional Election (via Parametricity)
https://blog.jle.im/entry/five-point-haskell-part-2-unconditional-election.html
Published: August 4, 2026 18:15
Welcome back to Five-Point Haskell! This is my attempt to codify principles of writing robust, maintainable, correct, clear, and effective code in Haskell and to dispel common bad practices (or, heresies) I have run into in my time. In the last post, we…
LLMs Will Cheese Your Types: Fighting Back in Haskell
https://blog.jle.im/entry/llms-and-haskell-1-constraint-evading-behavior.html
Published: July 22, 2026 16:10
Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in my Haskell coding since the beginning of this year for a lot of my projects, both personal and professional. I do all of my programming in Haskell, a language with a very expressive…
Extreme Haskell: Typed Expression EDSLs (Part 1)
https://blog.jle.im/entry/extreme-haskell-typed-expression-edsls-1.html
Published: July 7, 2026 17:11
I always say, inside every Haskeller there are two wolves, living on opposite ends of the Haskell Fancy Code Spectrum. Are you going to write “simple Haskell”, using basic GHC 2010 tools and writing universal Haskell that every introductory course offers,…
"Five-Point Haskell": Total Depravity (and Defensive Typing)
https://blog.jle.im/entry/five-point-haskell-part-1-total-depravity.html
Published: February 2, 2026 15:06
I have thought about distilling the principles by which I program Haskell, and how I’ve been able to steer long-lived projects over years of growth, refactorings, and changes in demands. I find myself coming back to a few distinct and helpful “points”…
Advent of Code 2025: Haskell Solution Reflections for all 12 Days
https://blog.jle.im/entry/advent-of-code-2025.html
Published: December 24, 2025 20:44
Merry Christmas all! This is my annual Advent of Code post! Advent of Code is a series of (this year) 12 daily Christmas-themed programming puzzles that are meant to be fun diversions from your daily life, help you find a bit of whimsy in your world, give…