The Curious Engineer

All blogs / Haskell

in Code

blog.jle.im

Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.

HaskellFunctional / PL theoryMath

Posts
95 from 17 Sep 2013 to 4 Aug 2026
Posting
monthly (6 in the last year)
Kind
personal blog
Feed
http://feeds.feedburner.com/incodeblog

2026 4

  1. "Five-Point Haskell": Unconditional Election (via Parametricity)
  2. LLMs Will Cheese Your Types: Fighting Back in Haskell
  3. Extreme Haskell: Typed Expression EDSLs (Part 1)
  4. "Five-Point Haskell": Total Depravity (and Defensive Typing)

2025 6

  1. Advent of Code 2025: Haskell Solution Reflections for all 12 Days
  2. December
  3. Comments
  4. Comments
  5. Comments
  6. Comments

2024 6

  1. Comments
  2. November
  3. Comments
  4. Comments
  5. Comments
  6. Comments

2021 1

  1. Comments

2020 9

  1. Comments
  2. Comments
  3. December
  4. Comments
  5. November
  6. Comments
  7. Comments
  8. Comments
  9. Comments

2019 4

  1. Comments
  2. Comments
  3. Comments
  4. Comments

2018 17

  1. Comments
  2. Comments
  3. December
  4. Comments
  5. Comments
  6. October
  7. Comments
  8. Comments
  9. Comments
  10. Comments
  11. Comments
  12. Comments
  13. Comments
  14. Comments
  15. Comments
  16. Comments
  17. Comments

2017 7

  1. Comments
  2. Comments
  3. December
  4. Comments
  5. November
  6. Comments
  7. Comments

2016 6

  1. Comments
  2. November
  3. Comments
  4. Comments
  5. Comments
  6. Comments

2015 10

  1. Comments
  2. Comments
  3. Comments
  4. Comments
  5. Comments
  6. Comments
  7. Comments
  8. Comments
  9. Comments
  10. Comments

2014 11

  1. Comments
  2. Comments
  3. Comments
  4. Comments
  5. Comments
  6. Comments
  7. Comments
  8. Comments
  9. Comments
  10. Comments
  11. Comments

2013 14

  1. Comments
  2. Comments
  3. Comments
  4. December
  5. Comments
  6. Comments
  7. November
  8. Comments
  9. Comments
  10. Comments
  11. October
  12. Comments
  13. Comments
  14. Comments