Strange Loop talks have introduced me to some of the most interesting new programming languages in the industry. Languages like Idris and Elm, for instance, were introduced respectively by their ...