Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
okay the working theory is that actually, HKTs are basically free, provided you are already trying to have a vaguely proper type system.
and that they probably would be slow in rust because rust already just likes to throw many templated copies of stuff at llvm