andremm / typedlua

An Optional Type System for Lua
563 stars 53 forks source link

Theory: is this really equivalent to a statically typed language like Java? #122

Open mavavilj opened 1 year ago

mavavilj commented 1 year ago

Is this really equivalent to a statically typed language like Java?

I thought adding such checks will not make a dynamically typed language a static one, or?