[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-users] New Egg: miniKanren
|
From: |
Alex Silva |
|
Subject: |
Re: [Chicken-users] New Egg: miniKanren |
|
Date: |
Wed, 17 Feb 2016 09:03:03 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hallo,
On 16/02/16 21:30, Jeremy Steward wrote:
>
> 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).
>
Sorry for veering off-topic, but: As someone who has read the Reasoned
Schemer, how would I go about learning this improved language?
Thanks,
- --
- -alex
http://unendli.ch/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBAgAGBQJWxCk3AAoJED2K1tOOAcTfGO4P/2zJ16VPxpdg65o4LFYZrnOK
FROSpz0WVtz9YcedlKYBPiFguNbtIwqAgdEtb4oQ3smosyU9n4737/0fnbccRkjz
Fl+yCv9GcjzkShf/BPRdmt6x4Z9FYOJi3BwBQOc/9WtpkN4/cbXxCn61huhky788
v1kyvkgdiL+5rDd9bc3tAS8YQQ/Aw4s/fnSnsJ9SgAtvf4KRXdL+rkPcXt0jtqK5
QzpqA/0SVNmGNWs+zk9JFjd2b3tHnabcQ6OG1+TEeaPux161weNgjtrL7d5Gc7lz
xgzb44j6hCnSRIrGMsibTYvL4M5E8m/m5nFc/42OkQbURI/xvPaWyxSZQVkJv0vy
A3NR4Oy6bcu2QK90iCEIgL8bW2r+Dah3k0yJJbeb/4rtlghf+oSmItq8EK8mdX1K
MqHCDP/ReC4Yq8//s1uQa3MlNvNvosX76wUYb7oHiz6zJZy9Zt6CvM9e+Z3Vhh0D
i6EF9JQNFXNe7IcPLZJB9Voqi+A4VqnteKNSYyAFWM0JNu/kpGNpk2wUaY7Dp6f+
idZNhAcvkH/lQ1xrVLrox5V4bf1BwGbM32FomaWgDge5YxcQLNImxusHirAWE5O5
67oqTo3Hn/0qSJYBIPPIVq3/FXbe3Pm/9McLL0BRViTTWw2hzldEuLiSHVP9iqcc
kKjurIhAeZxfX9qmDz5k
=ylSd
-----END PGP SIGNATURE-----