Please log in to watch this conference skillscast.

It has been known that Scala's implicits allow one to write Prolog-like programs that run at compile time. And although letting the compiler solve your daily Sudoku puzzle for you is fun, how could that possibly be useful in an actual program?

Taking a step back, as vigilant observers of type safety, you try to leverage the type system to ensure the correctness of your code. But when the domain constraints become too involved, constructing the appropriate types might become cumbersome.

In this talk, after introducing some basic Prolog phrased in the language of implicits, you will discover how this newfound power can free you from the burden of type construction by letting the compiler do most of the grunt work for you.

YOU MAY ALSO LIKE:

• Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
• Advanced Scala with Dick Wall (in London on 9th - 11th December 2019)
• Scala eXchange London 2019 (in London on 12th - 13th December 2019)
• Scalax2gether Community Day 2019 (in London on 14th December 2019)
• Code Kata: Yilin Wei - Optics with Monocle (in London on 22nd October 2019)
• Don’t keep it to yourself - openness and honesty in the workplace (in London on 30th October 2019)
• Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them (SkillsCast recorded in September 2019)
• The Last Frontier and Beyond (SkillsCast recorded in August 2019)