Monday 2nd December, 2013
10:15am to 11:00am
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!
Sign in to add slides, notes or videos to this session