Skip to content

Implementing a Relational Programming Language in a Functional Language

Photo of Ray Miller
Hosted By
Ray M.
Implementing a Relational Programming Language in a Functional Language

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.

Photo of Cambridge NonDysFunctional Programmers group
Cambridge NonDysFunctional Programmers
See more events
Metail
50 St Andrew's Street, CB2 3AH · Cambridge