Scalæ By the Bay has ended
Back To Schedule
Friday, November 11 • 1:10pm - 1:30pm
Embedded Logic Programming in Scala

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Logic (or relational) programming is perhaps underappreciated compared to its declarative sibling, functional programming. In this talk, we'll examine a relational programming language, miniKanren, embedded in Scala as a DSL. Some problems (layout, scheduling, type inference, logic puzzles) are more clearly expressed as a set of constraints and relations. We'll demonstrate this expressive power by live-coding solutions to a few puzzles and show that we can solve them relationally while still writing what feels like idiomatic, functional Scala. Come listen if you want to witness problem-solving in a programming paradigm that can help us discover solutions to mind-bending puzzles in minutes. As a bonus, these ideas can be re-used for Scala type-level programming.

avatar for Stewart Stewart

Stewart Stewart

Software Consultant, Inner Product LLC
Stewart Stewart is a software developer at Driver, a San Francisco based startup that analyzes tumors and connects cancer patients with personalized medicine. He also helps organize events at SF Scala.

Friday November 11, 2016 1:10pm - 1:30pm PST