Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> You could solve async/non-async polymorphism via the introduction of HKTs

Rust has stabilized GATs, which are comparable in power to HKTs while having better interop with the language's broader feature set.



I haven't thought about it super hard, but I suspect the ergos of that would be quite poor, as you would need to pass around the type of the trait object, even though all you really care about is the associated type constructor.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: