From 3412d4d0e35dfe1faac5254199aa34f0354e992b Mon Sep 17 00:00:00 2001 From: mryouse Date: Thu, 7 Jul 2022 03:48:05 +0000 Subject: refactor: add Macro structure under Callable, which is all core --- neb/std/repl.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index 16efb20..73f82d6 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -1,10 +1,10 @@ -from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic +from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable from ..structs import * REPL = Environment() def interpretHowTo(symbol, args, env, ns): - if not isinstance(args[0], Function): + if not isinstance(args[0], Callable): raise InterpretPanic(symbol, "expects a :func", args[0]) print(args[0].describe()) return List([]) -- cgit v1.2.3 From 4f7269c5c78170157a234ce262053742fef73953 Mon Sep 17 00:00:00 2001 From: mryouse Date: Thu, 7 Jul 2022 03:54:11 +0000 Subject: implement macros function --- neb/std/repl.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index 73f82d6..fbb0366 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -1,4 +1,4 @@ -from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable +from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable, Macro from ..structs import * REPL = Environment() @@ -18,7 +18,7 @@ def interpretSymbols(symbol, args, env, ns): REPL.register("symbols", Builtin("symbols", interpretSymbols, [], return_type=Type(":list"))) def interpretFuncs(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in env.environment.items() if isinstance(v, Builtin)] + keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, Function)] return List(keys) REPL.register("funcs", Builtin("funcs", interpretFuncs, [], return_type=Type(":list"))) @@ -28,3 +28,9 @@ def interpretUserSymbols(symbol, args, env, ns): return List(keys) REPL.register("user-symbols", Builtin("user-symbols", interpretUserSymbols, [], return_type=Type(":list"))) + +def interpretMacros(symbol, args, env, ns): + keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, Macro)] + return List(keys) + +REPL.register("macros", Builtin("macros", interpretMacros, [], return_type=Type(":list"))) -- cgit v1.2.3 From 0a646ac3dacafd7c266a34fb9dcab40e6e9649c1 Mon Sep 17 00:00:00 2001 From: mryouse Date: Fri, 8 Jul 2022 23:40:10 +0000 Subject: (symbols) returns all symbols, not just those in current env --- neb/std/repl.py | 2 +- neb/structs.py | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index fbb0366..ccd48bd 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -12,7 +12,7 @@ def interpretHowTo(symbol, args, env, ns): REPL.register("howto", Builtin("howto", interpretHowTo, [Arg("symbol", TypeEnum.ANY)], return_type=Type(":list"))) def interpretSymbols(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in sorted(env.environment.items())] + keys = [Symbol(k, -1) for k,v in sorted(env.get_all().items())] return List(keys) REPL.register("symbols", Builtin("symbols", interpretSymbols, [], return_type=Type(":list"))) diff --git a/neb/structs.py b/neb/structs.py index 88c4c6f..df7127f 100644 --- a/neb/structs.py +++ b/neb/structs.py @@ -179,6 +179,12 @@ class Environment: except: raise NebPanic(f"undefined symbol: '{key}") + def get_all(self): + if self.parent is None: + return self.environment + else: + return dict(self.parent.get_all(), **self.environment) + def __str__(self): out = "" for k, v in self.environment.items(): -- cgit v1.2.3 From a96a94ede913b87f6e5e7bba79591750268c95e9 Mon Sep 17 00:00:00 2001 From: mryouse Date: Fri, 8 Jul 2022 23:59:01 +0000 Subject: implement parse-neb --- neb/std/repl.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index ccd48bd..b888d1a 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -1,4 +1,5 @@ -from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable, Macro +from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable, Macro, lex, parse +from .core import interpretQuote from ..structs import * REPL = Environment() @@ -34,3 +35,8 @@ def interpretMacros(symbol, args, env, ns): return List(keys) REPL.register("macros", Builtin("macros", interpretMacros, [], return_type=Type(":list"))) + +def interpretParseNeb(symbol, args, env, ns): + return interpretQuote(None, [parse(lex(args[0].value))[0]], env, ns) + +REPL.register("parse-neb", Builtin("parse-neb", interpretParseNeb, [Arg("string", TypeEnum.STRING)], return_type=Type(":any"))) -- cgit v1.2.3 From 5f484ca29fa49584fb82d789cde1ac084dfef30e Mon Sep 17 00:00:00 2001 From: mryouse Date: Sat, 9 Jul 2022 00:14:36 +0000 Subject: rename 'macros' to 'syntax' --- neb/__init__.py | 6 +++--- neb/std/core.py | 40 ++++++++++++++++++++-------------------- neb/std/repl.py | 8 ++++---- 3 files changed, 27 insertions(+), 27 deletions(-) (limited to 'neb/std/repl.py') diff --git a/neb/__init__.py b/neb/__init__.py index 4831019..71d06e5 100644 --- a/neb/__init__.py +++ b/neb/__init__.py @@ -74,12 +74,12 @@ class Callable: def call(self, expr, env): pass -class Macro(Callable): +class Special(Callable): def __init__(self, name, params, body, args=None, many=None): super().__init__(name, params, body, args, many) -class NebMacro(Macro): +class NebSyntax(Special): def __init__(self, name, callable_, args=None, many=None, return_type=None): super().__init__(name, None, callable_, args, many) @@ -87,7 +87,7 @@ class NebMacro(Macro): self.return_type = return_type def __str__(self): - return f"builtin function {self.name}" + return f"syntax function {self.name}" def call(self, expr, env, ns): self.arity_check(expr.args[0], expr.args[1:]) diff --git a/neb/std/core.py b/neb/std/core.py index a0f2cf6..cf0686b 100644 --- a/neb/std/core.py +++ b/neb/std/core.py @@ -1,4 +1,4 @@ -from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, evaluate, interpret, parse, lex, InterpretPanic, TypeWrap, Function, UserType, NebMacro +from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, evaluate, interpret, parse, lex, InterpretPanic, TypeWrap, Function, UserType, NebSyntax from ..structs import * from pathlib import Path @@ -18,7 +18,7 @@ def interpretIf(symbol, args, env, ns): cond = Arg("cond", TypeEnum.BOOL) t_branch = Arg("t-branch", TypeEnum.ANY) f_branch = Arg("f-branch", TypeEnum.ANY, optional=True) -CORE.register("if", NebMacro("if", interpretIf, [cond, t_branch, f_branch])) +CORE.register("if", NebSyntax("if", interpretIf, [cond, t_branch, f_branch])) def interpretDef(symbol, args, env, ns): if not isinstance(args[0], Symbol): @@ -30,7 +30,7 @@ def interpretDef(symbol, args, env, ns): def_name_arg = Arg("name", TypeEnum.ANY) def_val_arg = Arg("value", TypeEnum.ANY) -CORE.register("def", NebMacro("def", interpretDef, [def_name_arg, def_val_arg], return_type=Type(":list"))) +CORE.register("def", NebSyntax("def", interpretDef, [def_name_arg, def_val_arg], return_type=Type(":list"))) def interpretRedef(symbol, args, env, ns): if not isinstance(args[0], Symbol): @@ -43,7 +43,7 @@ def interpretRedef(symbol, args, env, ns): env.reregister(name, res) return List([]) -CORE.register("redef", NebMacro("redef", interpretRedef, [def_name_arg, def_val_arg], return_type=Type(":list"))) +CORE.register("redef", NebSyntax("redef", interpretRedef, [def_name_arg, def_val_arg], return_type=Type(":list"))) def interpretLambda(symbol, args, env, ns): new_args = args @@ -61,7 +61,7 @@ def interpretLambda(symbol, args, env, ns): lambda_args_arg = Arg("args", TypeEnum.ANY) lambda_body_arg = Arg("body", TypeEnum.ANY) -CORE.register("lambda", NebMacro("lambda", interpretLambda, [lambda_args_arg, lambda_body_arg], lambda_body_arg)) +CORE.register("lambda", NebSyntax("lambda", interpretLambda, [lambda_args_arg, lambda_body_arg], lambda_body_arg)) def interpretForCount(symbol, args, env, ns): num = evaluate(args[0], env, ns) @@ -79,7 +79,7 @@ def interpretForCount(symbol, args, env, ns): for_count_arg = Arg("count", TypeEnum.INT) for_body_arg = Arg("body", TypeEnum.ANY) -CORE.register("for-count", NebMacro("for-count", interpretForCount, [for_count_arg, for_body_arg], for_body_arg)) +CORE.register("for-count", NebSyntax("for-count", interpretForCount, [for_count_arg, for_body_arg], for_body_arg)) def interpretForEach(symbol, args, env, ns): coll = evaluate(args[0], env, ns) @@ -96,7 +96,7 @@ def interpretForEach(symbol, args, env, ns): return ret for_each_arg = Arg("list", TypeEnum.LIST) -CORE.register("for-each", NebMacro("for-each", interpretForEach, [for_each_arg, for_body_arg], for_body_arg)) +CORE.register("for-each", NebSyntax("for-each", interpretForEach, [for_each_arg, for_body_arg], for_body_arg)) def interpretBranch(symbol, args, env, ns): for arg in args: @@ -109,7 +109,7 @@ def interpretBranch(symbol, args, env, ns): return evaluate(arg.args[1], env, ns) return List([]) -CORE.register("branch", NebMacro("branch", interpretBranch, [for_body_arg], for_body_arg)) +CORE.register("branch", NebSyntax("branch", interpretBranch, [for_body_arg], for_body_arg)) def interpretFunc(symbol, args, env, ns): if not isinstance(args[0], Symbol): @@ -128,7 +128,7 @@ def interpretFunc(symbol, args, env, ns): env.register(name, func) return List([]) -CORE.register("func", NebMacro("func", interpretFunc, [def_name_arg, lambda_args_arg, lambda_body_arg], lambda_body_arg, Type(":list"))) +CORE.register("func", NebSyntax("func", interpretFunc, [def_name_arg, lambda_args_arg, lambda_body_arg], lambda_body_arg, Type(":list"))) def interpretBlock(symbol, args, env, ns): new_env = Environment(env) @@ -138,7 +138,7 @@ def interpretBlock(symbol, args, env, ns): return ret block_arg = Arg("expr", TypeEnum.ANY) -CORE.register("block", NebMacro("block", interpretBlock, [block_arg], block_arg)) +CORE.register("block", NebSyntax("block", interpretBlock, [block_arg], block_arg)) def interpretWhile(symbol, args, env, ns): new_env = Environment(env) @@ -154,7 +154,7 @@ def interpretWhile(symbol, args, env, ns): ret = evaluate(arg, new_env, ns) return ret -CORE.register("while", NebMacro("while", interpretWhile, [Arg("cond", TypeEnum.BOOL)], Arg("expr", TypeEnum.ANY))) +CORE.register("while", NebSyntax("while", interpretWhile, [Arg("cond", TypeEnum.BOOL)], Arg("expr", TypeEnum.ANY))) # NOTE this doesn't technically need to be a macro def interpretUse(symbol, args, env, ns): @@ -169,7 +169,7 @@ def interpretUse(symbol, args, env, ns): interpret(parse(lex(data)), env, ns) return List([]) -CORE.register("use", NebMacro("use", interpretUse, [Arg("filename", TypeEnum.STRING)], return_type=Type(":list"))) +CORE.register("use", NebSyntax("use", interpretUse, [Arg("filename", TypeEnum.STRING)], return_type=Type(":list"))) # NOTE this doesn't technically need to be a macro def interpretAssert(symbol, args, env, ns): @@ -180,7 +180,7 @@ def interpretAssert(symbol, args, env, ns): raise InterpretPanic(symbol, "assertion failed") return List([]) -CORE.register("assert", NebMacro("assert", interpretAssert, [Arg("cond", TypeEnum.BOOL)], return_type=Type(":list"))) +CORE.register("assert", NebSyntax("assert", interpretAssert, [Arg("cond", TypeEnum.BOOL)], return_type=Type(":list"))) def interpretUseAs(symbol, args, env, ns): target = evaluate(args[0], env, ns) @@ -197,20 +197,20 @@ def interpretUseAs(symbol, args, env, ns): interpret(parse(lex(data)), env, new_ns) return List([]) -CORE.register("use-as", NebMacro("use-as", interpretUseAs, [Arg("filename", TypeEnum.STRING), Arg("namespace", TypeEnum.ANY)], return_type=Type(":list"))) +CORE.register("use-as", NebSyntax("use-as", interpretUseAs, [Arg("filename", TypeEnum.STRING), Arg("namespace", TypeEnum.ANY)], return_type=Type(":list"))) def interpretQuote(symbol, args, env, ns): return args[0] quote_arg = Arg("arg", TypeEnum.ANY) -CORE.register("quote", NebMacro("quote", interpretQuote, [quote_arg])) +CORE.register("quote", NebSyntax("quote", interpretQuote, [quote_arg])) def interpretEval(symbol, args, env, ns): ev = evaluate(args[0], env, ns) # TODO why do i have to evaluate twice? return evaluate(ev, env, ns) eval_arg = Arg("arg", TypeEnum.ANY) -CORE.register("eval", NebMacro("eval", interpretEval, [eval_arg])) +CORE.register("eval", NebSyntax("eval", interpretEval, [eval_arg])) def interpretType(symbol, args, env, ns): # (type typename parent func) @@ -239,7 +239,7 @@ def interpretType(symbol, args, env, ns): type_name_arg = Arg("name", TypeEnum.ANY) type_parent_arg = Arg("name", TypeEnum.ANY) type_func_arg = Arg("func", TypeEnum.ANY) -CORE.register("type", NebMacro("type", interpretType, [type_name_arg, type_parent_arg, type_func_arg])) +CORE.register("type", NebSyntax("type", interpretType, [type_name_arg, type_parent_arg, type_func_arg])) def interpretOr(symbol, args, env, ns): # or returns true for the first expression that returns true @@ -252,7 +252,7 @@ def interpretOr(symbol, args, env, ns): return Bool(False) or_arg = Arg("arg", TypeEnum.BOOL) -CORE.register("or", NebMacro("or", interpretOr, [or_arg, or_arg], or_arg, Type(":bool"))) +CORE.register("or", NebSyntax("or", interpretOr, [or_arg, or_arg], or_arg, Type(":bool"))) def interpretAnd(symbol, args, env, ns): # and returns false for the first expression that returns false @@ -264,7 +264,7 @@ def interpretAnd(symbol, args, env, ns): return ev return Bool(True) -CORE.register("and", Builtin("and", interpretAnd, [or_arg, or_arg], or_arg, Type(":bool"))) +CORE.register("and", NebSyntax("and", interpretAnd, [or_arg, or_arg], or_arg, Type(":bool"))) def interpretBench(symbol, args, env, ns): before = datetime.now() @@ -273,4 +273,4 @@ def interpretBench(symbol, args, env, ns): print(f"bench [{symbol.line}]: {args[0]} => {after - before}") return ret -CORE.register("bench", NebMacro("bench", interpretBench, [Arg("command", TypeEnum.ANY)], return_type=Type(":any"))) +CORE.register("bench", NebSyntax("bench", interpretBench, [Arg("command", TypeEnum.ANY)], return_type=Type(":any"))) diff --git a/neb/std/repl.py b/neb/std/repl.py index b888d1a..e8f2857 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -1,4 +1,4 @@ -from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable, Macro, lex, parse +from .. import TypeEnum, Environment, Arg, Builtin, UserFunction, Function, evaluate, InterpretPanic, Callable, NebSyntax, lex, parse from .core import interpretQuote from ..structs import * @@ -30,11 +30,11 @@ def interpretUserSymbols(symbol, args, env, ns): REPL.register("user-symbols", Builtin("user-symbols", interpretUserSymbols, [], return_type=Type(":list"))) -def interpretMacros(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, Macro)] +def interpretSyntax(symbol, args, env, ns): + keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, NebSyntax)] return List(keys) -REPL.register("macros", Builtin("macros", interpretMacros, [], return_type=Type(":list"))) +REPL.register("syntax", Builtin("syntax", interpretSyntax, [], return_type=Type(":list"))) def interpretParseNeb(symbol, args, env, ns): return interpretQuote(None, [parse(lex(args[0].value))[0]], env, ns) -- cgit v1.2.3 From 55259a331bcdf9fddcd96aac18eca8f7d669dd30 Mon Sep 17 00:00:00 2001 From: mryouse Date: Sat, 9 Jul 2022 02:18:23 +0000 Subject: amend all meta functions to include everything (not just locals) --- neb/std/repl.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index e8f2857..a404cad 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -19,19 +19,19 @@ def interpretSymbols(symbol, args, env, ns): REPL.register("symbols", Builtin("symbols", interpretSymbols, [], return_type=Type(":list"))) def interpretFuncs(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, Function)] + keys = [Symbol(k, -1) for k,v in sorted(env.get_all().items()) if isinstance(v, Function)] return List(keys) REPL.register("funcs", Builtin("funcs", interpretFuncs, [], return_type=Type(":list"))) def interpretUserSymbols(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in env.environment.items() if isinstance(v, UserFunction) or isinstance(v, Literal)] + keys = [Symbol(k, -1) for k,v in env.get_all().items() if isinstance(v, UserFunction) or isinstance(v, Literal)] return List(keys) REPL.register("user-symbols", Builtin("user-symbols", interpretUserSymbols, [], return_type=Type(":list"))) def interpretSyntax(symbol, args, env, ns): - keys = [Symbol(k, -1) for k,v in sorted(env.environment.items()) if isinstance(v, NebSyntax)] + keys = [Symbol(k, -1) for k,v in sorted(env.get_all().items()) if isinstance(v, NebSyntax)] return List(keys) REPL.register("syntax", Builtin("syntax", interpretSyntax, [], return_type=Type(":list"))) -- cgit v1.2.3 From 5d16387be0437fe711f51933b9b10674da18f116 Mon Sep 17 00:00:00 2001 From: mryouse Date: Sat, 9 Jul 2022 02:19:06 +0000 Subject: implement 'user-funcs' --- neb/std/repl.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'neb/std/repl.py') diff --git a/neb/std/repl.py b/neb/std/repl.py index a404cad..6b6be83 100644 --- a/neb/std/repl.py +++ b/neb/std/repl.py @@ -30,6 +30,12 @@ def interpretUserSymbols(symbol, args, env, ns): REPL.register("user-symbols", Builtin("user-symbols", interpretUserSymbols, [], return_type=Type(":list"))) +def interpretUserFuncs(symbol, args, env, ns): + keys = [Symbol(k, -1) for k,v in env.get_all().items() if isinstance(v, UserFunction)] + return List(keys) + +REPL.register("user-funcs", Builtin("user-funcs", interpretUserFuncs, [], return_type=Type(":list"))) + def interpretSyntax(symbol, args, env, ns): keys = [Symbol(k, -1) for k,v in sorted(env.get_all().items()) if isinstance(v, NebSyntax)] return List(keys) -- cgit v1.2.3