2016-11-14 01:21:44 +03:00
|
|
|
import 'dart:io';
|
|
|
|
|
|
|
|
import 'printer.dart' as printer;
|
|
|
|
import 'reader.dart' as reader;
|
|
|
|
import 'types.dart';
|
|
|
|
|
2022-01-10 02:15:40 +03:00
|
|
|
final Map<String, MalType> replEnv = <String, MalType>{
|
|
|
|
'+': new MalBuiltin((List<MalType> args) {
|
|
|
|
var a = args[0] as MalInt;
|
|
|
|
var b = args[1] as MalInt;
|
|
|
|
return new MalInt(a.value + b.value);
|
|
|
|
}),
|
|
|
|
'-': new MalBuiltin((List<MalType> args) {
|
|
|
|
var a = args[0] as MalInt;
|
|
|
|
var b = args[1] as MalInt;
|
|
|
|
return new MalInt(a.value - b.value);
|
|
|
|
}),
|
|
|
|
'*': new MalBuiltin((List<MalType> args) {
|
|
|
|
var a = args[0] as MalInt;
|
|
|
|
var b = args[1] as MalInt;
|
|
|
|
return new MalInt(a.value * b.value);
|
|
|
|
}),
|
|
|
|
'/': new MalBuiltin((List<MalType> args) {
|
|
|
|
var a = args[0] as MalInt;
|
|
|
|
var b = args[1] as MalInt;
|
|
|
|
return new MalInt(a.value ~/ b.value);
|
|
|
|
})
|
2016-11-14 01:21:44 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
MalType READ(String x) => reader.read_str(x);
|
|
|
|
|
|
|
|
class NotFoundException implements Exception {
|
|
|
|
/// The name of the symbol that was not found.
|
|
|
|
final String value;
|
|
|
|
|
|
|
|
NotFoundException(this.value);
|
|
|
|
}
|
|
|
|
|
2022-01-10 02:15:40 +03:00
|
|
|
MalType EVAL(MalType ast, Map<String, MalType> env) {
|
|
|
|
// 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[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.
|
|
|
|
var forms = (ast as MalList).elements;
|
|
|
|
if (forms.isEmpty) {
|
2016-11-14 01:21:44 +03:00
|
|
|
return ast;
|
|
|
|
} else {
|
2022-01-10 02:15:40 +03:00
|
|
|
MalBuiltin f = EVAL(forms.first, env);
|
|
|
|
List<MalType> args = forms.sublist(1).map((x) => EVAL(x, env)).toList();
|
|
|
|
return f.call(args);
|
2016-11-14 01:21:44 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
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() {
|
|
|
|
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;
|
2016-11-14 01:21:44 +03:00
|
|
|
} on reader.NoInputException {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
stdout.writeln(output);
|
|
|
|
}
|
|
|
|
}
|