An optimizing compiler for a purely functional web app language
youtube.com