aboutsummaryrefslogtreecommitdiff
path: root/cs/step3_env.cs
diff options
context:
space:
mode:
authorJoel Martin <github@martintribe.org>2014-04-06 23:58:14 -0500
committerJoel Martin <github@martintribe.org>2014-04-06 23:58:14 -0500
commitb18969c0b8d47d67d4b73b5b20742a0bc3179e72 (patch)
tree5c3eb2c1545857801ff5e64504bdd2a2ee49aac0 /cs/step3_env.cs
parentb56c49a12dad20c55fbf07775b536c9d656af313 (diff)
downloadmal-b18969c0b8d47d67d4b73b5b20742a0bc3179e72.tar.gz
mal-b18969c0b8d47d67d4b73b5b20742a0bc3179e72.zip
CS: add step3_env
Also, make Makefile more closely match the C Makefile.
Diffstat (limited to 'cs/step3_env.cs')
-rw-r--r--cs/step3_env.cs140
1 files changed, 140 insertions, 0 deletions
diff --git a/cs/step3_env.cs b/cs/step3_env.cs
new file mode 100644
index 0000000..0fbbda7
--- /dev/null
+++ b/cs/step3_env.cs
@@ -0,0 +1,140 @@
+using System;
+using System.IO;
+using System.Collections;
+using System.Collections.Generic;
+using Mal;
+using MalVal = Mal.types.MalVal;
+using MalSymbol = Mal.types.MalSymbol;
+using MalInteger = Mal.types.MalInteger;
+using MalList = Mal.types.MalList;
+using MalVector = Mal.types.MalVector;
+using MalHashMap = Mal.types.MalHashMap;
+using MalFunction = Mal.types.MalFunction;
+using Env = Mal.env.Env;
+
+namespace Mal {
+ class step1_repl {
+ // read
+ static MalVal READ(string str) {
+ return reader.read_str(str);
+ }
+
+ // eval
+ static MalVal eval_ast(MalVal ast, Env env) {
+ if (ast is MalSymbol) {
+ MalSymbol sym = (MalSymbol)ast;
+ return env.get(sym.getName());
+ } else if (ast is MalList) {
+ MalList old_lst = (MalList)ast;
+ MalList new_lst = ast.list_Q() ? new MalList()
+ : (MalList)new MalVector();
+ foreach (MalVal mv in old_lst.getValue()) {
+ new_lst.conj_BANG(EVAL(mv, env));
+ }
+ return new_lst;
+ } else if (ast is MalHashMap) {
+ var new_dict = new Dictionary<string, MalVal>();
+ foreach (var entry in ((MalHashMap)ast).getValue()) {
+ new_dict.Add(entry.Key, EVAL((MalVal)entry.Value, env));
+ }
+ return new MalHashMap(new_dict);
+ } else {
+ return ast;
+ }
+ }
+
+
+ static MalVal EVAL(MalVal orig_ast, Env env) {
+ MalVal a0, a1, a2, res;
+ //System.out.println("EVAL: " + printer._pr_str(orig_ast, true));
+ if (!orig_ast.list_Q()) {
+ return eval_ast(orig_ast, env);
+ }
+
+ // apply list
+ MalList ast = (MalList)orig_ast;
+ if (ast.size() == 0) { return ast; }
+ a0 = ast.nth(0);
+ if (!(a0 is MalSymbol)) {
+ throw new Mal.types.MalError("attempt to apply on non-symbol '"
+ + Mal.printer._pr_str(a0,true) + "'");
+ }
+
+ switch (((MalSymbol)a0).getName()) {
+ case "def!":
+ a1 = ast.nth(1);
+ a2 = ast.nth(2);
+ res = EVAL(a2, env);
+ env.set(((MalSymbol)a1).getName(), res);
+ return res;
+ case "let*":
+ a1 = ast.nth(1);
+ a2 = ast.nth(2);
+ MalSymbol key;
+ MalVal val;
+ Env let_env = new Env(env);
+ for(int i=0; i<((MalList)a1).size(); i+=2) {
+ key = (MalSymbol)((MalList)a1).nth(i);
+ val = ((MalList)a1).nth(i+1);
+ let_env.set(key.getName(), EVAL(val, let_env));
+ }
+ return EVAL(a2, let_env);
+ default:
+ var el = (MalList)eval_ast(ast, env);
+ var f = (MalFunction)el.nth(0);
+ return f.apply(el.rest());
+ }
+ }
+
+ // print
+ static string PRINT(MalVal exp) {
+ return printer._pr_str(exp, true);
+ }
+
+ // REPL
+ static MalVal RE(Env env, string str) {
+ return EVAL(READ(str), env);
+ }
+ public static Env _ref(Env env, string name, MalVal mv) {
+ return env.set(name, mv);
+ }
+
+ static void Main(string[] args) {
+ string prompt = "user> ";
+
+ var repl_env = new Mal.env.Env(null);
+ _ref(repl_env, "+", new Mal.core.plus() );
+ _ref(repl_env, "-", new Mal.core.minus() );
+ _ref(repl_env, "*", new Mal.core.multiply() );
+ _ref(repl_env, "/", new Mal.core.divide() );
+
+ if (args.Length > 0 && args[0] == "--raw") {
+ Mal.readline.mode = Mal.readline.Mode.Raw;
+ }
+ while (true) {
+ string line;
+ try {
+ line = Mal.readline.Readline(prompt);
+ if (line == null) { break; }
+ } catch (IOException e) {
+ Console.WriteLine("IOException: " + e.Message);
+ break;
+ }
+ try {
+ Console.WriteLine(PRINT(RE(repl_env, line)));
+ } catch (Mal.types.MalContinue) {
+ continue;
+ } catch (Mal.reader.ParseError e) {
+ Console.WriteLine(e.Message);
+ continue;
+ } catch (Mal.types.MalException e) {
+ Console.WriteLine("Error: " + e.getValue());
+ continue;
+ } catch (Exception e) {
+ Console.WriteLine("Error: " + e.Message);
+ continue;
+ }
+ }
+ }
+ }
+}