3 ms·
TaPL should be required reading for self proclaimed "engineers". Do untyped languages even exist, or could they? maybe something purely theoretical for ivory to
by homebrewer 2y ago
TaPL should be required reading for self proclaimed "engineers". Do untyped languages even exist, or could they? maybe something purely theoretical for ivory tower academics? Even POSIX shell and assembler type their values.
- nayuki 2y ago> Do untyped languages even exist, or could they? Even POSIX shell and assembler type their values. I program in assembly language. Memory is just a big array of bytes. Values don't have types, but each instruction chooses what type to interpret memory as - e.g. uint8, int16, float32, x86 real-mode pointer, long-mode pointer, etc.
- int_19h 2y agoI think one can reasonably argue that, if the language only has a single type, it is effectively "untyped". That would mean languages like Tcl. Or, for that matter, B.
- tjalfi 2y agoBCPL[0], BLISS[1], and Forth[2] are all untyped. [0] https://en.wikipedia.org/wiki/BCPL https://en.wikipedia.org/wiki/BCPL [1] https://en.wikipedia.org/wiki/BLISS https://en.wikipedia.org/wiki/BLISS [2] https://en.wikipedia.org/wiki/Forth_(programming_language) https://en.wikipedia.org/wiki/Forth_(programming_language)