I won’t @ them but limiting expressivity in order to limit cognitive load and keep codebases approachable is a totally legitimate move in language design. I’d even say essential. It’s all about balance, and expressivity _does_ have tradeoffs.https://twitter.com/SeanTAllen/status/1036236006872305665 …
-
-
Short answer: Yes. Long answer: At present I'm not qualified to write my own programming language, and I would need to spend time studying type systems. My ideal language is probably something like "C with linear types and self-referential data structs".
-
A short-term goal of mine is also to write an ML, just to see how to/if I can do it :P. From what I've been told, ML-style generics _aren't_ that bad to implement, compared to, say, C++.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.