A Story in the Land of Programming Languages

Опубликовано 21 июня 2016, 18:32

In this talk, I will present my personal history with programming languages. Lately, I've been designing and implementing Mezzo, a next-generation dialect of ML that features a novel type system. Writing programs in Mezzo guarantees that programs are data-race free. The finer-grained type system rules out dangerous programming patterns while enabling new programming styles in a type-safe way. I will go back and forth between an interactive demonstration of the language and a more formal introduction to the concepts. I will mention the challenges that I encountered while implementing the type-checker. I will also talk about my other endeavors in the land of programming languages, such as my experience with writing sizable Javascript programs in an almost-ECMA-6 version of JS.