Hacker News new | ask | show | jobs
by pshirshov 317 days ago
Does it support higher-kinded types and typeclasses? Does it support call-site expansion?
1 comments
egranata_aria 310 days ago
No. Should it? i.e. would it be useful/valuable to do for a scripting language? I am happy to hear suggestions and thoughts on that. Open a GitHub issue & let's chat?
link
pshirshov 309 days ago
In my opinion these features (and powerful type systems in general) would be useful for any language regardless of the execution model.
link
egranata_aria 309 days ago
I 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.
link