Gucwop1du7y8xoxzgp2p
SkillsCast

There's a Prolog in your Scala!

2nd December 2013 in London at Kings Place

There are 47 other SkillsCasts available from Scala eXchange 2013

Please log in to watch this conference skillscast.

456778338 640

This talk aims to shed some light on how Scala's type-level programming is essentially logic programming, and give reasoning for code, comprising 8+ implicit parameters with funny names (FnHipsterAux).

Scala is known to be a nice blend of object-oriented and functional paradigms. A lesser known fact is that it's also a logic programming language...in type system! After all, it's not the syntax, but rather the semantics we're after right? Functional in the small, OO in the large, logic in the type system!

YOU MAY ALSO LIKE:

Thanks to our sponsors

There's a Prolog in your Scala!

George Leontiev

George became interested in Scala right after he graduated from university. As soon as the opportunity presented itself, he switched to full-time Scala programming, and has never looked back. Nowadays he's working on backends at SoundCloud, and contributing to opensource on his free time.

SkillsCast

Please log in to watch this conference skillscast.

456778338 640

This talk aims to shed some light on how Scala's type-level programming is essentially logic programming, and give reasoning for code, comprising 8+ implicit parameters with funny names (FnHipsterAux).

Scala is known to be a nice blend of object-oriented and functional paradigms. A lesser known fact is that it's also a logic programming language...in type system! After all, it's not the syntax, but rather the semantics we're after right? Functional in the small, OO in the large, logic in the type system!

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

There's a Prolog in your Scala!

George Leontiev

George became interested in Scala right after he graduated from university. As soon as the opportunity presented itself, he switched to full-time Scala programming, and has never looked back. Nowadays he's working on backends at SoundCloud, and contributing to opensource on his free time.

Photos