3 ms·
There's also the option of using the fact that functions are values, to simply create traitlike values and pass them as arguments to functions (a la SYT: https:
by wavemode 2y ago
There's also the option of using the fact that functions are values, to simply create traitlike values and pass them as arguments to functions (a la SYT: https://www.haskellforall.com/2012/05/scrap-your-type-classes.html https://www.haskellforall.com/2012/05/scrap-your-type-classe...)
- thunderseethe 2y agoImplicits are motivated, atleast in part, by a desire to improve upon this baseline. In the world of ML modules this is the current state. Typeclasses (as modules) have to be passed everywhere they're used explicitly and it's exhausting. I think with implicits you can keep that as a baseline but provide an implicit mechanism atop it to remove a lot of the obvious boilerplate for a win-win