Day 2: Mixing the Logical and Functional
The implementation of miniKanren appears in an amazing book called The Reasoned Schemer [FBK05] and is only two printed pages. That’s impressively concise considering what it is capable of. Core.logic’s implementation is larger due to its focus on high performance and additional features that help leverage its host language, Clojure.
Those extra pages of core.logic’s code are not wasted. Today we’ll dig into the ways in which mixing Clojure and logic programming are mutually beneficial. You may feel like a muggle instead of a wizard still, but stick with it and soon you’ll be mixing your own amazing potions.
Patterns, Patterns Everywhere
A common feature of functional programming languages is pattern ...
Get Seven More Languages in Seven Weeks now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
