Anti-Implicits: Exploiting Implicit Ambiguity In Scala
Written version: https://blog.rockthejvm.com/anti-impl...
The caveats to this technique: https://blog.rockthejvm.com/anti-impl...
The Scala 3 version: • Scala 3: Anti-Givens
This video will show you a trick which exploits the Scala implicit resolution mechanism to enforce type relationships at compile time, via implicit ambiguitiy. The technique can be used to prevent certain type combinations in method calls, which is often applicable for generic libraries in the Scala ecosystem.
Follow Rock the JVM on:
LinkedIn: / rockthejvm
Twitter: / rockthejvm
Blog: https://blog.rockthejvm.com
-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------
