A SkillsCast for this session is not available.
In this talk, we will explore the µKanren language by implementing it from first principles in a simple functional programming language, going on to demonstrate how you can assemble these simple building blocks into a semblance of its richer parent, miniKanren, and maybe solve a logic puzzle or two to make sure it’s working as advertised.
The µKanren paper, and the original µKanren implementation, were authored by Jason Hemann and Daniel P. Friedman. The paper is available at http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf, and the Scheme implementation at https://github.com/jasonhemann/microKanren.
YOU MAY ALSO LIKE:
- Meetings With Remarkable Trees (SkillsCast recorded in December 2018)
- F# eXchange 2022: Online (Online Conference on 25th - 26th October 2022)
- Haskell eXchange 2022: Novice Track (Online Conference on 7th December 2022)
- What is happening with Java? (Online Meetup on 6th June 2022)
- WebAssembly for Java Developers (Online Meetup on 8th June 2022)
- A Conceptual Introduction to Nix for Haskellers (SkillsCast recorded in November 2021)
- Haskell in the Enterprise: A Report from in the Belly of the Whale (SkillsCast recorded in November 2021)
µKanren: Running the Little Things Backwards
Bodil works as a computer science researcher for a secretive think tank, and is a world renowned expert in varied fields such as pizza and persistent data structures. Contrary to popular rumour, she only has five fingers on each hand, but is still an Emacs user.