08/04/17 21:12:46
>>247
㌧。miniKANRENは徐々に進化しているようでした。
leanTAP⇒KANREN⇒miniKANREN⇒alphaKANREN
URLﾘﾝｸ(www.cs.indiana.edu)
URLﾘﾝｸ(kanren.sourceforge.net)
ParentheCというパーサー（c⇒scheme）を見つけました。
パターンマッチはolegのものを流用してます。
URLﾘﾝｸ(www.cs.indiana.edu)
URLﾘﾝｸ(www.cs.indiana.edu)
Prologもどきと軽く思ってたけどReasoned Schemerって意外に深いのかな。
型推論のHindley-Milner type inferenceとかOCAMLみたいｗ