3 ms·
In my opinion these features (and powerful type systems in general) would be useful for any language regardless of the execution model.
by pshirshov 1y ago
In my opinion these features (and powerful type systems in general) would be useful for any language regardless of the execution model.
- egranata_aria 1y agoI am happy to have the discussion. What would help me is a GitHub issue with some example/rationale why you think this would help. That would be an ideal starting point. As-is, I am a bit lost how typeclasses would work with dynamic typing and all that, but maybe I am missing the point.