-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hello all,
Hope you all find yourselves well. I am sending this today to announce the 1.0 release of the latest miniKanren implementation. There's a bit of history here, so I'll try to summarize. However, if you're interested in seeing the implementation use the following link: https://bitbucket.org/ThatGeoGuy/chicken-minikanren We already have the "Kanren" egg, which provides the old Kanren language as well as the miniKanren implementation from "The Reasoned Schemer" (Dan Friedman, William Byrd, Oleg Kiselyov, MIT Press.). While this egg is great for working through the examples in the book, it does not provide the latest implementation of the miniKanren language (as it has evolved over the years). The latest implementation of miniKanren (found https://github.com/miniKanren/miniKanren) is unfortunately both very different and incompatible with the language of the same name used in The Reasoned Schemer. Although they are both similar, there are some notable change s: 1. condi no longer exists 2. conde now behaves like condi (to provide stronger termination guarantees) 3. else is removed as syntax from conde, conda, and condu 4. the latest version introduces disequality constraints (=/=) as well as some type-constraint operators (absento, numero, symbolo, booleano). After some discussion with the current maintainer (Alex Shinn), we have both decided it is probably better to packaged the canonical implementation as a separate miniKanren egg, while he has agreed to rename the mini-kanren module in the "Kanren" egg to `reasoned-schemer` or some such. This means that people working through The Reasoned Schemer can still use the implementation that works with the book, while users coming from Clojure's core.logic or Racket's miniKanren implementation can still use all the facilities that they'll be used to in the latest version of the language. I would be happy to answer any questions if there are any. Mario, could this be added to the coop, or are there additional steps I must take first? Best regards, - -- Jeremy Steward -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWw4bUAAoJEHVwwAZUeZnZ0p8QAKJH2MeT5E9vT2/2seuT0gex tbq8XFyzNWaKTUO9t97Dew4vcKLCKL9iFOZPep4OihAb3FskjfxqYSCQxTdgK0PC EBsDHNqaBdaZ7O3Olt9xLZ1MUb0cAtYsg1A2FHE6WPlPaT5tqGptOmcnJpRrSkx8 gnV5i5yCdwUxlaW8YXNOy8ZbJyuxF5DdGgBEirhkevyfYVDcYKcmAEf8WtXiXOS0 5VXYajS3LLyIGRi7TFo5sCBeqmd4rEKyNdF6eQK1Q9wGidA7Zh8Y469xqa/s03Y9 gccM8Njc9x7SId3TF7VQuIdKyfGNAY5pOKLPSTsEhzzB5tEEV7nJj4Jy7Ka+FgcU NWBEINnj46Bkxk0bVi3azddDf1W8p0K3K0Jo5X3z+O7ekeXA3MnKUOAyGk1+6Sfl fbDw2e7HhzYpgjaayWJ4Qb/aHq44uqBF/xtvUTBlGj9ZSrvwb8h8FzgpZulaW5+u 9yEtr5Qj7I/slW3u66ZpulzhkvgdJrzgg6OL/fsOcFvEI0vPUjMHxLA6AAO90ub+ IFcpGIf+kH2gmQHxs/nFE4CgrFm4J5DqaGb4+dRHkTmkfPFQFKauWYmFUxrOtFYl 1RZ4uzYZnYUgRCgsSnSHczrmLzlhDkj15X+xr+bNXNKxE6bFqVi8PD8tzdixtToK In3tGWjUAN82WEAE/sKp =5zJu -----END PGP SIGNATURE----- _______________________________________________ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users