The Frontier
In the last two languages in the book, we traverse the frontiers of programming theory. We look at a new programming model that combines macros, logic, and functional programming with a general-purpose language in miniKanren. We also look at the concepts related to a powerful typing theory in Idris.
Logic, Meet World
Prolog and I have a love-hate relationship. I love the way I can focus on the problem and leave the solution to the computer. My primary problems with Prolog have mostly been related to making those ideas more practical. It’s those areas around the edges, where I’m filtering, presenting, trimming, or otherwise manipulating a stream of solutions that come up short. I also have problems extending Prolog when I move into ...
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.
