Planet2

Recently Martijn Bastiaan, QBayLogic’s COO, invited Well-Typed to come to QBayLogic HQ and give a one-day workshop on falsify, the new property based testing library that I developed for the...

In my last post, I compared Kabbalah to Haskell. It's only fitting that my next post compares Kabbalah to another topic I blog about frequently: economics. Heads up in advance that this post will be very revealing about my political/economic compass.

This post is going to be about what infinite ordinal numbers are, and about is in particular. I had a brainwave a while back (18 months now, wow, I have definitely not been blogging enough) and suddenly understood much better than I did before. I have several related ideas here and I am going to try to write one blog post about each of them, instead of one gigantic blog pos...

Topiary is a uniform formatter designed to support multiple languages through a single, consistent interface. By relying on Tree-sitter grammars and formatting queries, it easily adapts to new languages. But what happens when a language contains other languages inside it?

I’m excited to share how Language Injections work in Topiary, a new feat...

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, trying to keep the code as immediately understandable and accessible? Or are you going to pile in all of the Haskell type ...