A number of programming languages offer a feature called “Named Arguments” or “Labeled Arguments”, which makes some function calls much more readable and safer. Let’s see how hard it would be to add these ... (more…)

For work-related reasons, I had to recently get up to speed on programming in Haskell. Before that, I had very little actual experience with the language, clocking probably at less than a thousand lines of working code over a couple of years. Nothing impr... (more…)

This is part 3 of the Great Rust Web Experiment. See Part 1 about Iron, and Part 2 about Nickel, and how it compares to Iron. In short, I’ve built the same r...

In this post, we'll look at flow-sensitive type-checking rules - and implement our own version of "Non Lexical Lifetimes" used in Rust's borrow checker. (more…)

A new era of statically typed, natively compiled, programming languages has arrived sweeping aside the old choice between performance and productivity while also eliminating runtime dependencies on an interpreter or VM. Two of the top contenders are Rust ...