7 ms·
There's no such thing as an untyped programming language that's used in the real world. JavaScript and typescript definitely aren't. Maybe you mean dynamically
by bt4u 7y ago
There's no such thing as an untyped programming language that's used in the real world. JavaScript and typescript definitely aren't. Maybe you mean dynamically typed
- Sharlin 7y agoThis is just a question of semantics. In mainstream programming language jargon it’s ”dynamically typed”, while in (applied) type theory it’s ”untyped” or, perhaps more accurately ”monotyped” or ”unityped”, because types are fundamentally invariants of a program that can be verified without executing it.
- bt4u 7y agoYeah why bother using correct terminology, it's just semantics. Plus is minus. Compiler is interpreter. Up is down. Leg is arm. Let's all just use our own personal definition of things, it doesn't matter Dynamic typing is not "untyped" in formal theory, I have no idea where you got that from
- heavenlyblue 7y agoThere’s always that “intellectual” who would say something smart while being absolutely wrong.
- bt4u 7y agoSure. But I'm not wrong