Is JavaScript an untyped language?

by

JavaScript is untyped:


(source: no.gd)

Even Brendan Eich says so. On Twitter, he replied to a thread that linked to this question:

… academic types use “untyped” to mean “no static types”…

So the problem is that there’s a few different definitions of untyped.

One definition has been talked about in one of the above answers – the runtime doesn’t tag values and just treats each value as bits. JavaScript does tag values and has different behaviour based on those tags. So JavaScript obviously doesn’t fit this category.

The other definition is from Programming Language Theory (the academic thing that Brendan is referring to). In this domain, untyped just means everything belongs to a single type.

Why? Because a language will only generate a program when it can prove that the types align (a.k.a. the Curry-Howard correspondence; types are theorems, programs are proofs). This means in an untyped language:

  1. A program is always generated
  2. Therefore types always match up
  3. Therefore there must only be one type

In contrast to a typed language:

  1. A program might not be generated
  2. Because types might not match up
  3. Because a program can contain multiple types

So there you go, in PLT, untyped just means dynamically typed and typed just means statically typed. JavaScript is definitely untyped in this category.

See also:

More Related Contents:

  1. How do I check that a number is float or integer?
  2. Check if a value is an object in JavaScript
  3. Explanation of …
  4. Check whether variable is number or string in JavaScript
  5. Is there currently anyway to concatenate two or more string literal types to a single string literal type in TypeScript right now?
  6. Is there any way to use a numeric type as an object key?
  7. How can I round a number in JavaScript? .toFixed() returns a string?
  8. Is it safe to assume strict comparison in a JavaScript switch statement?
  9. Better way to get type of a Javascript variable?
  10. Extremely large numbers in javascript
  11. What’s the point of new String(“x”) in JavaScript?
  12. Why and how does ([![]]+[][[]])[+!+[]+[+[]]] evaluate to the letter “i”? [duplicate]
  13. Cannot invoke an expression whose type lacks a call signature
  14. javascript float from/to bits
  15. How does Javascript know what type a variable is?
  16. Error: Cannot invoke an expression whose type lacks a call signature
  17. What is the best method to convert floating point to an integer in JavaScript?
  18. Does “untyped” also mean “dynamically typed” in the academic CS world?
  19. What is the difference between JSON and Object Literal Notation?
  20. Response to preflight request doesn’t pass access control check
  21. How to properly reuse connection to Mongodb across NodeJs application and modules
  22. How to import jquery using ES6 syntax?
  23. Is it possible to use JS to open an HTML select to show its option list? [duplicate]
  24. Random number, which is not equal to the previous number
  25. Google Maps API – Getting closest points to zipcode
  26. Should a Promise.reject message be wrapped in Error?
  27. Pagination on a list using ng-repeat
  28. jQuery access input hidden value
  29. Show week number with Javascript?
  30. JavaScript Date Comparisons Don’t Equal [duplicate]

Leave a Comment