Minimalistic Languages
Hisham Muhammad
Minimalism versus Types
An experience report on the development of Titan, a statically-typed Lua-like language
Saturday 11:25-11:50
|
K.4.201
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.