Usually statically typed implies strongly typed (there are rare exceptions). Also, when you look at their first page, they focus on type-safety and that the lan

Usually statically typed implies strongly typed (there are rare exceptions). Also, when you look at their first page, they focus on type-safety and that the language prevent runtime errors. In combination it looks very much like they mixed it up.