Compile Time Logic Programming in Scala - What For?

Please log in to watch this conference skillscast.

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:

• 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)