1
1
mirror of https://github.com/kanaka/mal.git synced 2024-08-17 17:50:24 +03:00
mal/impls/js/core.js
Nicolas Boulenguez fbfe6784d2 Change quasiquote algorithm
- Add a `vec` built-in function in step7 so that `quasiquote` does not
  require `apply` from step9.
- Introduce quasiquoteexpand special in order to help debugging step7.
  This may also prepare newcomers to understand step8.
- Add soft tests.
- Do not quote numbers, strings and so on.

Should ideally have been in separate commits:
- elisp: simplify and fix (keyword :k)
- factor: fix copy/paste error in let*/step7, simplify eval-ast.
- guile: improve list/vector types
- haskell: revert evaluation during quasiquote
- logo, make: cosmetic issues
2020-08-11 01:01:56 +02:00

273 lines
7.1 KiB
JavaScript

// Node vs browser behavior
var core = {};
if (typeof module === 'undefined') {
var exports = core;
} else {
var types = require('./types'),
readline = require('./node_readline'),
reader = require('./reader'),
printer = require('./printer'),
interop = require('./interop');
}
// Errors/Exceptions
function mal_throw(exc) { throw exc; }
// String functions
function pr_str() {
return Array.prototype.map.call(arguments,function(exp) {
return printer._pr_str(exp, true);
}).join(" ");
}
function str() {
return Array.prototype.map.call(arguments,function(exp) {
return printer._pr_str(exp, false);
}).join("");
}
function prn() {
printer.println.apply({}, Array.prototype.map.call(arguments,function(exp) {
return printer._pr_str(exp, true);
}));
}
function println() {
printer.println.apply({}, Array.prototype.map.call(arguments,function(exp) {
return printer._pr_str(exp, false);
}));
}
function slurp(f) {
if (typeof require !== 'undefined') {
return require('fs').readFileSync(f, 'utf-8');
} else {
var req = new XMLHttpRequest();
req.open("GET", f, false);
req.send();
if (req.status == 200) {
return req.responseText;
} else {
throw new Error("Failed to slurp file: " + f);
}
}
}
// Number functions
function time_ms() { return new Date().getTime(); }
// Hash Map functions
function assoc(src_hm) {
var hm = types._clone(src_hm);
var args = [hm].concat(Array.prototype.slice.call(arguments, 1));
return types._assoc_BANG.apply(null, args);
}
function dissoc(src_hm) {
var hm = types._clone(src_hm);
var args = [hm].concat(Array.prototype.slice.call(arguments, 1));
return types._dissoc_BANG.apply(null, args);
}
function get(hm, key) {
if (hm != null && key in hm) {
return hm[key];
} else {
return null;
}
}
function contains_Q(hm, key) {
if (key in hm) { return true; } else { return false; }
}
function keys(hm) { return Object.keys(hm); }
function vals(hm) { return Object.keys(hm).map(function(k) { return hm[k]; }); }
// Sequence functions
function cons(a, b) { return [a].concat(b); }
function concat(lst) {
lst = lst || [];
return lst.concat.apply(lst, Array.prototype.slice.call(arguments, 1));
}
function vec(lst) {
if (types._list_Q(lst)) {
var v = Array.prototype.slice.call(lst, 0);
v.__isvector__ = true;
return v;
} else {
return lst;
}
}
function nth(lst, idx) {
if (idx < lst.length) { return lst[idx]; }
else { throw new Error("nth: index out of range"); }
}
function first(lst) { return (lst === null) ? null : lst[0]; }
function rest(lst) { return (lst == null) ? [] : lst.slice(1); }
function empty_Q(lst) { return lst.length === 0; }
function count(s) {
if (Array.isArray(s)) { return s.length; }
else if (s === null) { return 0; }
else { return Object.keys(s).length; }
}
function conj(lst) {
if (types._list_Q(lst)) {
return Array.prototype.slice.call(arguments, 1).reverse().concat(lst);
} else {
var v = lst.concat(Array.prototype.slice.call(arguments, 1));
v.__isvector__ = true;
return v;
}
}
function seq(obj) {
if (types._list_Q(obj)) {
return obj.length > 0 ? obj : null;
} else if (types._vector_Q(obj)) {
return obj.length > 0 ? Array.prototype.slice.call(obj, 0): null;
} else if (types._string_Q(obj)) {
return obj.length > 0 ? obj.split('') : null;
} else if (obj === null) {
return null;
} else {
throw new Error("seq: called on non-sequence");
}
}
function apply(f) {
var args = Array.prototype.slice.call(arguments, 1);
return f.apply(f, args.slice(0, args.length-1).concat(args[args.length-1]));
}
function map(f, lst) {
return lst.map(function(el){ return f(el); });
}
// Metadata functions
function with_meta(obj, m) {
var new_obj = types._clone(obj);
new_obj.__meta__ = m;
return new_obj;
}
function meta(obj) {
// TODO: support symbols and atoms
if ((!types._sequential_Q(obj)) &&
(!(types._hash_map_Q(obj))) &&
(!(types._function_Q(obj)))) {
throw new Error("attempt to get metadata from: " + types._obj_type(obj));
}
return obj.__meta__;
}
// Atom functions
function deref(atm) { return atm.val; }
function reset_BANG(atm, val) { return atm.val = val; }
function swap_BANG(atm, f) {
var args = [atm.val].concat(Array.prototype.slice.call(arguments, 2));
atm.val = f.apply(f, args);
return atm.val;
}
function js_eval(str) {
return interop.js_to_mal(eval(str.toString()));
}
function js_method_call(object_method_str) {
var args = Array.prototype.slice.call(arguments, 1),
r = interop.resolve_js(object_method_str),
obj = r[0], f = r[1];
var res = f.apply(obj, args);
return interop.js_to_mal(res);
}
// types.ns is namespace of type functions
var ns = {'type': types._obj_type,
'=': types._equal_Q,
'throw': mal_throw,
'nil?': types._nil_Q,
'true?': types._true_Q,
'false?': types._false_Q,
'number?': types._number_Q,
'string?': types._string_Q,
'symbol': types._symbol,
'symbol?': types._symbol_Q,
'keyword': types._keyword,
'keyword?': types._keyword_Q,
'fn?': types._fn_Q,
'macro?': types._macro_Q,
'pr-str': pr_str,
'str': str,
'prn': prn,
'println': println,
'readline': readline.readline,
'read-string': reader.read_str,
'slurp': slurp,
'<' : function(a,b){return a<b;},
'<=' : function(a,b){return a<=b;},
'>' : function(a,b){return a>b;},
'>=' : function(a,b){return a>=b;},
'+' : function(a,b){return a+b;},
'-' : function(a,b){return a-b;},
'*' : function(a,b){return a*b;},
'/' : function(a,b){return a/b;},
"time-ms": time_ms,
'list': types._list,
'list?': types._list_Q,
'vector': types._vector,
'vector?': types._vector_Q,
'hash-map': types._hash_map,
'map?': types._hash_map_Q,
'assoc': assoc,
'dissoc': dissoc,
'get': get,
'contains?': contains_Q,
'keys': keys,
'vals': vals,
'sequential?': types._sequential_Q,
'cons': cons,
'concat': concat,
'vec': vec,
'nth': nth,
'first': first,
'rest': rest,
'empty?': empty_Q,
'count': count,
'apply': apply,
'map': map,
'conj': conj,
'seq': seq,
'with-meta': with_meta,
'meta': meta,
'atom': types._atom,
'atom?': types._atom_Q,
"deref": deref,
"reset!": reset_BANG,
"swap!": swap_BANG,
'js-eval': js_eval,
'.': js_method_call
};
exports.ns = core.ns = ns;