Blog

Here is a confession. I once spent an entire afternoon hunting a bug in a data pipeline that turned out to be a single missing value. Not a crash, not an exception -- a quiet None that slipped...

We wrote a whole blog post/blog/the-type-system about what Keel's type system does for you. It was upbeat and reassuring. "The compiler catches your bugs!" "You can sleep at night!" All true. What...

There is a moment in every programming language project where you realize you have to pick a language to write the language in. It sounds like a zen riddle. It is not. It is a decision that will...

There is a moment in every language project when you realize "parsing is working, the type checker is catching real bugs, but actually running the code... that part still needs to happen." For us,...

There is a moment, somewhere around your third data pipeline, when you realize that most of your code is just looking at a value and asking "what shape is this?" Is the list empty? Is the result an...