3 ms·
> The first example disproved ionforce's claim that default values cannot be constructed dynamically. But I don't think that is what they meant. I think they m
by lptk 8y ago
> The first example disproved ionforce's claim that default values cannot be constructed dynamically.
But I don't think that is what they meant. I think they meant something along the lines of what I said above:
> an expression with an arbitrary number of subexpressions may be synthesized, the shape of which depends on the types involves
- YorkshireSeason 8y agoOK, maybe I misunderstood ionforce. I don't deny that type-driven synthesis is a core element of implicits.