2016-11-14 01:21:44 +03:00
|
|
|
import 'dart:io';
|
|
|
|
|
|
|
|
import 'core.dart';
|
|
|
|
import 'env.dart';
|
|
|
|
import 'printer.dart' as printer;
|
|
|
|
import 'reader.dart' as reader;
|
|
|
|
import 'types.dart';
|
|
|
|
|
|
|
|
final Env replEnv = new Env();
|
|
|
|
|
|
|
|
void setupEnv() {
|
|
|
|
ns.forEach((sym, fun) => replEnv.set(sym, fun));
|
|
|
|
|
|
|
|
rep('(def! not (fn* (a) (if a false true)))');
|
|
|
|
}
|
|
|
|
|
|
|
|
MalType READ(String x) => reader.read_str(x);
|
|
|
|
|
2022-01-10 02:15:40 +03:00
|
|
|
MalType EVAL(MalType ast, Env env) {
|
|
|
|
var dbgeval = env.get("DEBUG-EVAL");
|
|
|
|
if (dbgeval != null && !(dbgeval is MalNil)
|
|
|
|
&& !(dbgeval is MalBool && dbgeval.value == false)) {
|
|
|
|
stdout.writeln("EVAL: ${printer.pr_str(ast)}");
|
|
|
|
}
|
|
|
|
|
2016-11-14 01:21:44 +03:00
|
|
|
if (ast is MalSymbol) {
|
2022-01-10 02:15:40 +03:00
|
|
|
var result = env.get(ast.value);
|
2016-11-14 01:21:44 +03:00
|
|
|
if (result == null) {
|
|
|
|
throw new NotFoundException(ast.value);
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
} else if (ast is MalList) {
|
2022-01-10 02:15:40 +03:00
|
|
|
// Exit this switch.
|
2016-11-14 01:21:44 +03:00
|
|
|
} else if (ast is MalVector) {
|
|
|
|
return new MalVector(ast.elements.map((x) => EVAL(x, env)).toList());
|
|
|
|
} else if (ast is MalHashMap) {
|
2022-01-10 02:15:40 +03:00
|
|
|
var newMap = new Map<MalType, MalType>.from(ast.value);
|
2016-11-14 01:21:44 +03:00
|
|
|
for (var key in newMap.keys) {
|
|
|
|
newMap[key] = EVAL(newMap[key], env);
|
|
|
|
}
|
|
|
|
return new MalHashMap(newMap);
|
|
|
|
} else {
|
|
|
|
return ast;
|
|
|
|
}
|
2022-01-10 02:15:40 +03:00
|
|
|
// ast is a list. todo: indent left.
|
2016-11-14 01:21:44 +03:00
|
|
|
if ((ast as MalList).elements.isEmpty) {
|
|
|
|
return ast;
|
|
|
|
} else {
|
|
|
|
var list = ast as MalList;
|
|
|
|
if (list.elements.first is MalSymbol) {
|
|
|
|
var symbol = list.elements.first as MalSymbol;
|
|
|
|
var args = list.elements.sublist(1);
|
|
|
|
if (symbol.value == "def!") {
|
|
|
|
MalSymbol key = args.first;
|
|
|
|
MalType value = EVAL(args[1], env);
|
2022-01-10 02:15:40 +03:00
|
|
|
env.set(key.value, value);
|
2016-11-14 01:21:44 +03:00
|
|
|
return value;
|
|
|
|
} else if (symbol.value == "let*") {
|
|
|
|
// TODO(het): If elements.length is not even, give helpful error
|
|
|
|
Iterable<List<MalType>> pairs(List<MalType> elements) sync* {
|
|
|
|
for (var i = 0; i < elements.length; i += 2) {
|
|
|
|
yield [elements[i], elements[i + 1]];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
var newEnv = new Env(env);
|
|
|
|
MalIterable bindings = args.first;
|
|
|
|
for (var pair in pairs(bindings.elements)) {
|
|
|
|
MalSymbol key = pair[0];
|
|
|
|
MalType value = EVAL(pair[1], newEnv);
|
2022-01-10 02:15:40 +03:00
|
|
|
newEnv.set(key.value, value);
|
2016-11-14 01:21:44 +03:00
|
|
|
}
|
|
|
|
return EVAL(args[1], newEnv);
|
|
|
|
} else if (symbol.value == "do") {
|
|
|
|
return args.map((e) => EVAL(e, env)).toList().last;
|
|
|
|
} else if (symbol.value == "if") {
|
|
|
|
var condition = EVAL(args[0], env);
|
|
|
|
if (condition is MalNil ||
|
|
|
|
condition is MalBool && condition.value == false) {
|
|
|
|
// False side of branch
|
|
|
|
if (args.length < 3) {
|
|
|
|
return new MalNil();
|
|
|
|
}
|
|
|
|
return EVAL(args[2], env);
|
|
|
|
} else {
|
|
|
|
// True side of branch
|
|
|
|
return EVAL(args[1], env);
|
|
|
|
}
|
|
|
|
} else if (symbol.value == "fn*") {
|
|
|
|
var params = (args[0] as MalIterable)
|
|
|
|
.elements
|
|
|
|
.map((e) => e as MalSymbol)
|
|
|
|
.toList();
|
|
|
|
return new MalClosure(
|
|
|
|
params,
|
|
|
|
args[1],
|
|
|
|
env,
|
|
|
|
(List<MalType> funcArgs) =>
|
|
|
|
EVAL(args[1], new Env(env, params, funcArgs)));
|
|
|
|
}
|
|
|
|
}
|
2022-01-10 02:15:40 +03:00
|
|
|
var f = EVAL(list.elements.first, env);
|
|
|
|
var args = list.elements.sublist(1).map((x) => EVAL(x, env)).toList();
|
2016-11-14 01:21:44 +03:00
|
|
|
if (f is MalCallable) {
|
2022-01-10 02:15:40 +03:00
|
|
|
return f.call(args);
|
2016-11-14 01:21:44 +03:00
|
|
|
} else {
|
|
|
|
throw 'bad!';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
String PRINT(MalType x) => printer.pr_str(x);
|
|
|
|
|
|
|
|
String rep(String x) {
|
Test uncaught throw, catchless try* . Fix 46 impls.
Fixes made to: ada, c, chuck, clojure, coffee, common-lisp, cpp,
crystal, d, dart, elm, erlang, es6, factor, fsharp, gnu-smalltalk,
groovy, guile, haxe, hy, js, livescript, matlab, miniMAL, nasm, nim,
objc, objpascal, ocaml, perl, perl6, php, plsql, ps, python, r,
rpython, ruby, scheme, swift3, tcl, ts, vb, vimscript, wasm, yorick.
Catchless try* test is an optional test. Not all implementations
support catchless try* but a number were fixed so they at least don't
crash on catchless try*.
2018-12-03 22:20:44 +03:00
|
|
|
return PRINT(EVAL(READ(x), replEnv));
|
2016-11-14 01:21:44 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
const prompt = 'user> ';
|
|
|
|
main() {
|
|
|
|
setupEnv();
|
|
|
|
while (true) {
|
|
|
|
stdout.write(prompt);
|
|
|
|
var input = stdin.readLineSync();
|
|
|
|
if (input == null) return;
|
|
|
|
var output;
|
|
|
|
try {
|
|
|
|
output = rep(input);
|
Test uncaught throw, catchless try* . Fix 46 impls.
Fixes made to: ada, c, chuck, clojure, coffee, common-lisp, cpp,
crystal, d, dart, elm, erlang, es6, factor, fsharp, gnu-smalltalk,
groovy, guile, haxe, hy, js, livescript, matlab, miniMAL, nasm, nim,
objc, objpascal, ocaml, perl, perl6, php, plsql, ps, python, r,
rpython, ruby, scheme, swift3, tcl, ts, vb, vimscript, wasm, yorick.
Catchless try* test is an optional test. Not all implementations
support catchless try* but a number were fixed so they at least don't
crash on catchless try*.
2018-12-03 22:20:44 +03:00
|
|
|
} on reader.ParseException catch (e) {
|
|
|
|
stdout.writeln("Error: '${e.message}'");
|
|
|
|
continue;
|
|
|
|
} on NotFoundException catch (e) {
|
|
|
|
stdout.writeln("Error: '${e.value}' not found");
|
|
|
|
continue;
|
|
|
|
} on MalException catch (e) {
|
|
|
|
stdout.writeln("Error: ${printer.pr_str(e.value)}");
|
|
|
|
continue;
|
2016-11-14 01:21:44 +03:00
|
|
|
} on reader.NoInputException {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
stdout.writeln(output);
|
|
|
|
}
|
|
|
|
}
|