Joel
Anything particularly interesting in your opinion? Inferred Type Predicates are pretty neat.
1 3
Samuel
@samuel.fm
it’s mostly that, I think it’ll make a huge impact
1 3
Joel
Yeah, I've been tripped up so many times by assuming it should just work. I thought when I first read about it a few months ago it was somehow very limited in its scope, but re-reading it now it seems to cover all the basic needs. Nice!
1 2
Joel
Right? Allegedly it was really tough to implement (had been discussed for years), but then someone had a breakthrough by bringing an outside perspective and accepting a non-trivial trade-off, iirc. I just can't seem to recall/find that trade-off now, but that's fine by me!
3