News for hackers. Stuff that matters.
Re:Towards Scala 3 by lptk on Saturday April 21, 2018 @10:58AM (#16891641)
> 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

Re:Towards Scala 3 by YorkshireSeason on Wednesday April 25, 2018 @06:08AM (#16920097)
OK, maybe I misunderstood ionforce. I don't deny that type-driven synthesis is a core element of implicits.