keithflower

16 ms·

1. 91.▲
   by keithflower 15y ago

   Our experiences don't match. Avoiding nested includes has been a part of the rigorous and useful standards of a lot of important, mission-critical, large-scale projects, and is something I try to enforce in my own code. There are numerous e
2. 92.▲
   by keithflower 15y ago

   Heh...excellent, David! Thanks for the great work - I've read several pieces you've done on Kanren stuff (and read some of your past logic programming comments here), and I've learned a lot. EDIT: You supplemented Clojure's implementation o
3. 93.▲
   by keithflower 15y ago

   Many thanks for the info. I'll have to delve into cKanren more - I kind of glossed over it. For anyone else interested, it looks like Claire Alvis is leading development of cKanren. Here's a background paper and a link to the source on gith
4. 94.▲
   by keithflower 15y ago

   Thanks, good idea. I've got he and Mitchell Wand's well-known Essentials of Programming Languages and it taught me a ton. You're right about the conciseness of RS miniKanren - it's just two pages in the "Connecting the Wires" part of the te
5. 95.▲
   by keithflower 15y ago

   If anyone knows about it, I'm curious about any of the history and evolution of Kanren/miniKanren (the original Scheme versions) not found in standard reference papers, and wonder if any of the authors frequent HN. There seem to be three di