Regular type constraints are placed in the type declaration (under square brackets), while this is…
Sinisa Louc

Yeah I got what it does, it’s just that of adding some extra type-checking as an implicit parameter feels wrong from the point of view of someone using the language: you can have type parameters and bounds on square brackets, but adding more checking would require an implicit parameter — which by the way won’t even be used. In this case I would have preferred they added some syntax rather than reused the implicits mechanism.

I actually got curious and read around how this thing works and wholly molly it’s actually a type that gets resolved implicitly. I still don’t like it much but it’s darn clever :)

Show your support

Clapping shows how much you appreciated Lino Rosa’s story.