Yes the compiler/interpreter can figure it out on the fly, that's what we mean by untyped languages. And as stated both have their merits and their faults.

Elon doesn't know what the words mean and just chimes in with his AI future BS.

[–] janAkali@lemmy.one 62 points 10 months ago* (last edited 10 months ago) (14 children)

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'.

[–] ParetoOptimalDev 1 points 10 months ago

Most statically typed languages can't because they don't implement Hindley-Milner type inference.

load more comments (13 replies)

load more comments (37 replies)