5 ms·
This is fantastic writing: After writing TypeScript for a while, it occurred to me that the TypeScript language actually consists of two sub-languages - one
by mingyeow 5y ago
This is fantastic writing:
After writing TypeScript for a while, it occurred to me that the TypeScript language actually consists of two sub-languages - one is JavaScript, and the other is the type language.
For the JavaScript language, the world is made of JavaScript values; for the type language, the world is made of types.
- brabel 5y agoThis is called a "biformity". There was a great post about this the other day: https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity# https://hirrolot.github.io/posts/why-static-languages-suffer...
- avgcorrection 5y agoAnd: https://news.ycombinator.com/item?id=29996240 https://news.ycombinator.com/item?id=29996240
- benrbray 5y agoYou might be interested to learn that in languages like Coq with dependent types, the difference between type-level and value-level languages (almost) disappears! Check out the Software Foundations book [1]. [1] https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/