Brkpntu4ewibuie9nswo
SkillsCast

Compile Time Logic Programming in Scala - What For?

14th December 2017 in London at Business Design Centre

There are 53 other SkillsCasts available from Scala eXchange 2017

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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:

Thanks to our sponsors

Compile Time Logic Programming in Scala - What For?

Daniel Beskin

Daniel is an FP-biased developer with a thing for (esoteric) programming languages.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

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:

Thanks to our sponsors

About the Speaker

Compile Time Logic Programming in Scala - What For?

Daniel Beskin

Daniel is an FP-biased developer with a thing for (esoteric) programming languages.

Photos