Lisp Scheme Part21 - 暇つぶし2ch

Lisp Scheme Part21 at TECH

301:デフォルトの名無しさん
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みたいｗ