DEV Community

Discussion on: JavaScript is not an untyped language

peerreynders profile image

Is there an actual accepted definition of 'untyped' somewhere or is it one of those terms that only carry meaning within a very specific context?

Thread Thread
miguelmj profile image
MiguelMJ Author

My main references for the subject are Programming Language Theory textbooks written by L. Cardelli or R. Harper. They and other authors (I would need to check again the bibliography for the names) use 'untyped' to refer to languages where values have no types, or a single type, and therefore don't apply type restrictions of any kind.

Thread Thread
jcubic profile image
Jakub T. Jankiewicz

I only know one formal name "untyped lambda calculus". But only because there is typed lambda calculus. So obviously normal lambda calculus is untyped.