Grain: A strongly-typed functional programming language for the modern web.