We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Minimalism versus Types

Formal Metadata

Title
Minimalism versus Types
Subtitle
An experience report on the development of Titan, a statically-typed Lua-like language
Title of Series
Number of Parts
561
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date2019
LanguageEnglish

Content Metadata

Subject Area
Genre
Abstract
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.