Or more specifically, I gave a presentation about the program that the tweet referenced, as it compared to a program written in a different language that implemented the same “specification.” Along… (more…)

I couldn’t find any tutorials on how to get Elm up and running on Rocket, so here’s my attempt. I don’t go into to much detail about what each component does, but I do explain how to get going. I… (more…)

After experimenting with Elm, I was hooked. I could feel that working with a smart type system brought both reliability, in the sense of "it does what I want it to do", and safety, in the sense of "it does not have bugs".

Elm is famous for having “no runtime exceptions” and for the most part, it does a really, really good job! It is possible to write Elm without runtime exceptions, and the majority of users may never… (more…)

Most language tutorials start with language features: here are numbers, here are strings, in a way ever so slightly different from other… (more…)