In this presentation, I will showcase a minimalistic toy programming language^1 that I’ve been working on time to time over the past year.

The Bee catchphrase is: a language that is easy to learn and helps you write bug-free programs. By this, I mean a language with syntax and semantics that have fewer corner cases and traps than JavaScript, and with user-defined dependent types that can spot errors TypeScript miss.

This might sound ambitious, but in this talk, I aim to demonstrate that writing a compiler from scratch isn't that hard, with the good tricks, and well-defined abstractions.