Main Content

There's a Prolog in your Scala

A talk by George at Scala eXchange

About the Talk

December 2, 2013 3:00 PM

90 York Way, London, N1 9AG, GB

90 York Way, London, N1 9AG, GB

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 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!

Ratings and Recommendations

This Talk hasn't been rated yet. Sign In to rate Talks.

comments powered by Disqus