Twitter | Pretraživanje | |
bblum chesed yibaneh
good read!! it's nice to see where the type system's current limitations are and how they move over time. looks pretty thorny...
Reply Retweet Označi sa "sviđa mi se" More
bblum chesed yibaneh 26. lis
Odgovor korisniku/ci @nikomatsakis
btw, for complication 1a, would supporting the non-async/non-generic subset of `impl Trait` returns as associated types be easy? i'd think it'd require either a little syntax magic to avoid naming the type, or making it break object safety, but no further trickery, no?
Reply Retweet Označi sa "sviđa mi se"