Click here to Skip to main content
12,395,871 members (63,113 online)
Click here to Skip to main content

Stats

126.3K views
3K downloads
244 bookmarked
Posted

Implementing Programming Languages Using C# 4.0

, 12 Jul 2012 MIT
An introduction to creating programming language tools using C# 4.0.
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics;
using System.Reflection;

namespace Diggins.Jigsaw
{    
    public class CatEvaluator
    {
        public class QuotedValue 
        {
            public QuotedValue(object v) { Value = v; }
            public dynamic Value;
        }
        
        public class Composition 
        {
            public Composition(object f, object g) { F = f; G = g; }
            public dynamic F;
            public dynamic G;
        }

        public class Environment
        {
            public class Callable : Attribute { }

            public Environment()
            {
                foreach (var mi in typeof(Primitives).GetMethods(BindingFlags.DeclaredOnly | BindingFlags.Public | BindingFlags.Static))
                    Functions.Add(mi.Name, mi);
                
                foreach (var mi in GetType().GetMethods())
                    if (mi.GetCustomAttributes(typeof(Callable), true).Length > 0)
                        Functions.Add(mi.Name, mi);
            }

            public Dictionary<string, dynamic> Functions = new Dictionary<string, dynamic>();

            public Stack<dynamic> Values = new Stack<dynamic>();
            
            public dynamic Pop() { return Values.Pop(); }            
            public dynamic Peek { get { return Values.Peek(); }  }
            public void Push(dynamic o) { Values.Push(o); }

            [Callable] public void zap() { Pop(); }
            [Callable] public void swap() { var a = Pop(); var b = Pop(); Push(a); Push(b); }
            [Callable] public void apply() { Apply(Pop()); }
            [Callable] public void dup() { Push(Peek); }
            [Callable] public void quote() { Push(new QuotedValue(Pop())); }
            [Callable] public void compose() { Push(new Composition(Pop(), Pop())); }
            [Callable] public void isnil() { Push(List.Empty == Peek()); }
            [Callable] public void cons() { Push(List.Cons(Pop(), Pop())); } 
            [Callable] public void uncons() { var xs = Pop(); Push(xs.Tail); Push(xs.Head); } 
            [Callable] public void @while() { var body = Pop(); while (Pop()) body.Apply(this); }
            [Callable] public void list() { var q = Pop(); var stk = Values; Values = new Stack<dynamic>(); Apply(q); stk.Push(List.Build(Values)); Values = stk; }
            
            public void Eval(Node n) 
            {
                switch (n.Label)
                {
                    case "Integer": 
                        Push(Int32.Parse(n.Text)); 
                        break;
                    case "String": 
                        Push(n.Text.Substring(1, n.Text.Length - 2)); 
                        break;
                    case "Quotation": 
                        Push(n); 
                        break;
                    case "Terms": 
                        foreach (var t in n.Nodes) 
                            Eval(t); 
                        break;
                    case "Term": 
                        Eval(n.Nodes[0]); 
                        break;
                    case "Atom":
                        Eval(n.Nodes[0]);
                        break;
                    case "Symbol":
                        if (!Functions.ContainsKey(n.Text))
                            throw new Exception("Unrecognized symbol " + n.Text);
                        Eval(Functions[n.Text]); 
                        break;
                    case "Define": 
                        Functions.Add(n.GetNode("Symbol").Text, n.GetNode("Terms")); 
                        break;
                    default: 
                        throw new Exception("Can't evaluate node of type " + n.Label);
                }
            }

            public void Eval(MethodInfo mi)
            {
                var args = new List<dynamic>();
                for (int i = 0; i < mi.GetParameters().Length; ++i)
                    args.Add(Pop());                
                var result = mi.Invoke(this, args.ToArray());
                if (mi.ReturnType != typeof(void))
                    Push(result);
            }

            public void Apply(Node n)
            {
                if (n.Label != "Quotation") 
                    throw new Exception("Expected a quotation on the stack");
                Eval(n.GetNode("Terms"));
            }

            public void Apply(Composition c)
            {
                Apply(c.F);
                Apply(c.G);
            }

            public void Apply(QuotedValue q)
            {
                Push(q.Value);
            }
        }

        public static Stack<dynamic> Eval(Node node)
        {
            var env = new Environment();
            env.Eval(node);
            return env.Values;
        }

        public static Stack<dynamic> Eval(string s)
        {
            var nodes = CatGrammar.Terms.Parse(s);
            if (nodes == null) throw new Exception("Invalid Cat program");
            return Eval(nodes[0]);
        }
    }
}

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The MIT License

Share

About the Author

Christopher Diggins
Software Developer Autodesk
Canada Canada
This article was written by Christopher Diggins, a computer science nerd who currently works at Autodesk as an SDK specialist.

You may also be interested in...

| Advertise | Privacy | Terms of Use | Mobile
Web02 | 2.8.160721.1 | Last Updated 12 Jul 2012
Article Copyright 2011 by Christopher Diggins
Everything else Copyright © CodeProject, 1999-2016
Layout: fixed | fluid