This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Friday, November 11 • 1:10pm - 1:30pm
Embedded Logic Programming in Scala

Sign up or log in to save this to your schedule 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 Developer, Driver
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

Attendees (46)