Return to SK.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc / examples

Annotation of researchv10no/cmd/sml/doc/examples/SK.sml, revision 1.1.1.1

1.1       root        1: (* ----- An Interpreter for Call-by-Value SK-calculus ----- *)
                      2: 
                      3: datatype Term = S | K | appl of Term * Term;
                      4: 
                      5: fun Eval(appl(a,b)) = Apply(appl(Eval a,Eval b)) |
                      6:     Eval a = a
                      7: 
                      8: and Apply(appl(appl(K,a),b)) = a |
                      9:     Apply(appl(appl(appl(S,a),b),c)) = Eval(appl(appl(a,c),appl(b,c))) |
                     10:     Apply a = a;
                     11: 
                     12: infix *;
                     13: fun f * g = appl(f,g);      (* abbreviation for application *)
                     14: 
                     15: val I = Eval(S * K *  K);   (* I a = a *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.