Past Meetup

Implementing a Relational Programming Language in a Functional Language

This Meetup is past

30 people went

Metail

50 St Andrew's Street, CB2 3AH · Cambridge

How to find us

The Metail office is between Maplin and Sainsbury's on St Andrew's Street. Buzz 5 for entry and make your way up to the 3rd floor.

Location image of event venue

Details

This evening's talk will be given by William E. Byrd:

Just as functional programming emphasises writing programs as pure mathematical functions, relational programming emphasises writing programs as pure mathematical relations. We'll briefly explore relational programming, and then see how a simple relational language (microKanren) can easily and succinctly be implemented in Scheme or any other functional language. Feel free to follow along in Scheme or Racket!

About the speaker:

Will Byrd is a scientist at the University of Alabama at Birmingham. His research is on relational programming, functional programming, and applications of computer science to precision medicine. He is also interested in ancient languages and writing, StarCraft, molecular biology, and nanotechnology.

Arrive from 6pm to grab a drink and socialise.