[stewbrew]

It seems to be a dynamically typed language. So they require developers to put type annotations into comments so that the compiler cannot make use of them. Oh well.