Hacker News new | past | comments | ask | show | jobs | submit login

Yes, thank you! ATC is "associated type constructors". I believe Haskell calls them "type families"? It's sort of a similar idea; a form of higher-kindness. We are likely to get ATC in the medium term, but full HKT is farther out.



Right, thanks! It sounded familiar but google revealed nothing. Should have tried "atc rust".




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

Search: