Statically typed functional programming language for building reliable web applications with no runtime errors
