Minimalism versus Types

An experience report on the development of Titan, a statically-typed Lua-like language

We love minimalistic languages because they let us do so much with so little.
But when we start doing a lot with them, often we start yearning for types to help us make sense of it all.
Adding types to a minimalistic language (well, adding anything!) makes it larger.
Is this worth the price? Is a rich type system antithetical to minimalism? Let's find out!

This talk is based on the experiences in the development process of Titan, a statically-typed Lua-like language.