There's a Prolog in your Scala!

A session at Scala eXchange 2013

Monday 2nd December, 2013

10:15am to 11:00am (GMT)

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

About the speaker

This person is speaking at this event.

engineer at SoundCloud

Coverage of this session

Sign in to add slides, notes or videos to this session

Scala eXchange 2013

England England, London

2nd3rd December 2013

Tell your friends!


Time 10:15am11:00am GMT

Date Mon 2nd December 2013

Short URL


View the schedule



See something wrong?

Report an issue with this session