janAkali, 1 year ago (edited 10 months ago)

Yes the compiler/interpreter can figure it out on the fly, that’s what we mean by untyped languages.

Are there untyped languages? You probably meant ‘dynamically typed languages’.

But even statically typed languages can figure out most types for you from the context - it’s called ‘type inference’.