3 ms·
A language that goes from prototype-quality (duck typing, dynamic, and interpreted) to strict static compile checks would be nice. I can’t think of any in the
by nobodyandproud 2y ago
A language that goes from prototype-quality (duck typing, dynamic, and interpreted) to strict static compile checks would be nice.
I can’t think of any in the mainstream, however.
- Spivak 2y agoIsn't that TypeScript or more generically "type hints" in other languages? If all you care about is that your program is valid for some gradually increasing subset of your code at compile time then these work great.
- bluGill 2y agoi don't do javascript, but I know from experience adding const to c++ is impossible I expect the similar for types
- nobodyandproud 2y agoI was envisioning a system or some other compiled language, but you’re right. I overlooked Typescript and it indeed comes close.
- pjmlp 2y agoCommon Lisp comes to mind, but I guess it is debatable to consider it mainstream.