Comment by jiehong

Is there a static type system included/inferred?

Couldn’t not find the answer