MORPH
SIGN IN SIGN UP
kanaka / mal UNCLAIMED

mal - Make a Lisp

0 0 1 Assembly
Normal View History Raw
matlab: Add step9.
2015-02-08 23:50:12 -06:00
function step9_try(varargin), main(varargin), end
% read
function ret = READ(str)
ret = reader.read_str(str);
end
% eval
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-07-21 18:01:48 +02:00
function ret = starts_with(ast, sym)
ret = length(ast);
if ret
first = ast.get(1);
ret = isa(first,'types.Symbol') && strcmp(first.name, sym);
end
end
function ret = quasiquote_loop(ast)
ret = types.List();
for i=length(ast):-1:1
elt = ast.get(i)
if isa(elt, 'types.List') && starts_with(elt, 'splice-unquote')
ret = types.List(types.Symbol('concat'), elt.get(2), ret);
else
ret = types.List(types.Symbol('cons'), quasiquote(elt), ret);
end
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
function ret = quasiquote(ast)
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-07-21 18:01:48 +02:00
switch class(ast)
case 'types.List'
if starts_with(ast, 'unquote')
ret = ast.get(2);
else
ret = quasiquote_loop(ast);
end
case 'types.Vector'
ret = types.List(types.Symbol('vec'), quasiquote_loop(ast));
case {'types.Symbol', 'types.HashMap'}
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ret = types.List(types.Symbol('quote'), ast);
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-07-21 18:01:48 +02:00
otherwise
ret = ast;
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
end
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
function ret = EVAL(ast, env)
while true
matlab: Add step9.
2015-02-08 23:50:12 -06:00
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
dbgeval = env.get('DEBUG-EVAL');
if ~isequal(dbgeval, {}) ...
&& ~strcmp(class(dbgeval), 'types.Nil') ...
&& (~islogical(dbgeval) || dbgeval)
fprintf('EVAL: %s\n', printer.pr_str(ast, true));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
switch class(ast)
case 'types.Symbol'
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
ret = env.get(ast.name);
if isequal(ret, {})
msg = sprintf('''%s'' not found', ast.name);
if exist('OCTAVE_VERSION', 'builtin') ~= 0
error('ENV:notfound', msg);
else
throw(MException('ENV:notfound', msg));
end
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
end
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
return;
case 'types.List'
% Proceed after this switch.
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
case 'types.Vector'
ret = types.Vector();
for i=1:length(ast)
ret.append(EVAL(ast.get(i), env));
end
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
return;
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
case 'types.HashMap'
ret = types.HashMap();
ks = ast.keys();
for i=1:length(ks)
k = ks{i};
Stop evaluating map keys Neither keywords nor strings are modified by evaluation, so evaluating map keys is a no-op. Document this in the guide.
2021-08-21 19:08:17 +02:00
ret.set(k, EVAL(ast.get(k), env));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
return;
matlab: Add step9.
2015-02-08 23:50:12 -06:00
otherwise
ret = ast;
return;
end
% apply
matlab: fix empty list evaluation. Part of #194.
2016-04-02 17:26:53 -05:00
if length(ast) == 0
ret = ast;
return;
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
if isa(ast.get(1),'types.Symbol')
a1sym = ast.get(1).name;
matlab: Add step9.
2015-02-08 23:50:12 -06:00
else
a1sym = '_@$fn$@_';
end
switch (a1sym)
case 'def!'
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ret = env.set(ast.get(2), EVAL(ast.get(3), env));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
case 'let*'
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
let_env = Env({env});
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
for i=1:2:length(ast.get(2))
let_env.set(ast.get(2).get(i), EVAL(ast.get(2).get(i+1), let_env));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
env = let_env;
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ast = ast.get(3); % TCO
matlab: Add step9.
2015-02-08 23:50:12 -06:00
case 'quote'
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ret = ast.get(2);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
case 'quasiquote'
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ast = quasiquote(ast.get(2)); % TCO
matlab: Add step9.
2015-02-08 23:50:12 -06:00
case 'defmacro!'
matlab: prevent defmacro! from mutating the function
2024-10-09 15:49:04 +02:00
ret = env.set(ast.get(2), EVAL(ast.get(3), env).clone());
matlab: Add step9.
2015-02-08 23:50:12 -06:00
ret.is_macro = true;
return;
case 'try*'
try
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ret = EVAL(ast.get(2), env);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
catch e
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
if length(ast) > 2 && strcmp(ast.get(3).get(1).name, 'catch*')
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
if strcmp(e.identifier, 'MalException:object')
if exist('OCTAVE_VERSION', 'builtin') ~= 0
global error_object;
exc = error_object;
else
exc = e.obj;
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
else
exc = e.message;
end
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
catch_env = Env({env}, types.List(ast.get(3).get(2)), ...
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
types.List(exc));
ret = EVAL(ast.get(3).get(3), catch_env);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
else
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 13:20:44 -06:00
rethrow(e);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
end
case 'do'
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
for i=2:(length(ast) -1)
ret = EVAL(ast.get(i), env);
end
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ast = ast.get(length(ast)); % TCO
matlab: Add step9.
2015-02-08 23:50:12 -06:00
case 'if'
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
cond = EVAL(ast.get(2), env);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
if strcmp(class(cond), 'types.Nil') || ...
(islogical(cond) && cond == false)
if length(ast) > 3
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ast = ast.get(4); % TCO
matlab: Add step9.
2015-02-08 23:50:12 -06:00
else
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
ret = type_utils.nil;
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
end
else
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ast = ast.get(3); % TCO
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
case 'fn*'
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
fn = @(varargin) EVAL(ast.get(3), Env({env}, ast.get(2), ...
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
types.List(varargin{:})));
ret = types.Function(fn, ast.get(3), env, ast.get(2));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return;
otherwise
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
f = EVAL(ast.get(1), env);
if isa(f,'types.Function') && f.is_macro
ast = f.fn(ast.slice(2).data{:}); % TCO
else
args = types.List();
for i=2:length(ast)
args.append(EVAL(ast.get(i), env));
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
if isa(f, 'types.Function')
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
env = Env({f.env}, f.params, args);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
ast = f.ast; % TCO
else
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
ret = f(args.data{:});
matlab: Add step9.
2015-02-08 23:50:12 -06:00
return
end
matlab: merge eval and eval_ast
2024-10-09 15:43:52 +02:00
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
end
end
% print
function ret = PRINT(ast)
ret = printer.pr_str(ast, true);
end
% REPL
function ret = rep(str, env)
ret = PRINT(EVAL(READ(str), env));
end
function main(args)
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
repl_env = Env();
matlab: Add step9.
2015-02-08 23:50:12 -06:00
% core.m: defined using matlab
ns = core.ns(); ks = ns.keys();
for i=1:length(ks)
k = ks{i};
repl_env.set(types.Symbol(k), ns(k));
end
repl_env.set(types.Symbol('eval'), @(a) EVAL(a, repl_env));
matlab: add keyword, vector, hash-map support. Switch List to full object like vector and hash-map.
2015-02-09 23:20:23 -06:00
rest_args = args(2:end);
repl_env.set(types.Symbol('*ARGV*'), types.List(rest_args{:}));
matlab: Add step9.
2015-02-08 23:50:12 -06:00
% core.mal: defined using the langauge itself
rep('(def! not (fn* (a) (if a false true)))', repl_env);
load-file: accept empty file or final comment, return nil Let `load-file` append a new line in case last line contains a comment. Also append `nil` so that the return value is predictible. Remove the existing explicit `nil` from existing sources. Adapt documentation and tests.
2019-07-15 23:57:02 +02:00
rep('(def! load-file (fn* (f) (eval (read-string (str "(do " (slurp f) "\nnil)")))))"', repl_env);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
rep('(defmacro! cond (fn* (& xs) (if (> (count xs) 0) (list ''if (first xs) (if (> (count xs) 1) (nth xs 1) (throw "odd number of forms to cond")) (cons ''cond (rest (rest xs)))))))', repl_env);
if ~isempty(args)
matlab: fix do/slice, strings. Self-hosting! Fix Makefile stats/stats-lisp.
2015-02-10 01:51:28 -06:00
rep(sprintf('(load-file "%s")', args{1}), repl_env);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
quit;
end
%cleanObj = onCleanup(@() disp('*** here1 ***'));
while (true)
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
try
line = input('user> ', 's');
catch err
return
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
if strcmp(strtrim(line),''), continue, end
try
fprintf('%s\n', rep(line, repl_env));
catch err
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
if strcmp('MalException:object', err.identifier)
if exist('OCTAVE_VERSION', 'builtin') ~= 0
global error_object;
fprintf('Error: %s\n', printer.pr_str(error_object, true));
else
fprintf('Error: %s\n', printer.pr_str(err.obj, true));
end
matlab: Add step9.
2015-02-08 23:50:12 -06:00
else
fprintf('Error: %s\n', err.message);
end
matlab: support Octave 4.0.0 - Workarounds for Octave 4.0.0: - no containers.Map yet so use new Dict structure when running under Octave. - weird error when +FOO/ directory and FOO.m file both exist so rename types.m to type_utils.m - no getReport so implement custom stack printer - workaround weird issue that happens when a class initializer is called with the first argument of the same class as per Env(outer, ...). The class is not properly initialized. So for now, wrap the outer in a cell as Env({outer}, ...) - missing MException object types so when in Octave, use a global variable to store the error object. - missing native2unicode so just use 0xff character for keyword prefix. - workaround some function calling/passing differences. For example, the "@" anonymous function symbol does not seem to work for conveying an existing function but only for defininign a new one. E.g. this works: @(a,b) a+b but this doesn't @my_adder_fn. so just do this: @(a,b) my_adder_fn(a,b) - Add Dockerfile with Octave - Active Travis for matlab implementation using Octave
2015-12-31 13:43:55 -06:00
type_utils.print_stack(err);
matlab: Add step9.
2015-02-08 23:50:12 -06:00
end
end
end
Reference in New Issue Copy Permalink