Comment on The birth of JS

<- View Parent
marcos@lemmy.world ⁨1⁩ ⁨year⁩ ago

A language has dynamic types if the type-resolution is done at runtime. The other kind is static types, where it’s done at compile-time.

A language is monotyped if every value is compatible with every operation, so there’s actually no type resolution.

A language has explicit types if you declare your types, implicit ones if you can’t declare them, type derivation if declarations are optional but they exist and are static you declaring or not, or gradual types if declarations are optional but they exist and are dynamic you declaring them or not.

All of those things are different.

Also, some people will insist “types” can only be static. Go ask those people whatever is the name of the things Python have, because either they just invented some different words, or they are only trying to confuse you.

source
Sort:hotnewtop