def get(self, key: MalExpression) -> MalExpression: location = self.find(key) if location is None: raise MalUnknownSymbolException(str(key)) if location is self: return self._data[str(key)] return location.get(key)
def get(self, key: MalExpression) -> MalExpression: strkey = str(key) if strkey in self._data: return self._data[strkey] location = self.find(key) if location is None: raise MalUnknownSymbolException(strkey) return location.get(key)
def EVAL(ast: MalExpression, env: Env) -> MalExpression: dbgeval = env.get("DEBUG-EVAL") if (dbgeval is not None and not isinstance(dbgeval, MalNil) and (not isinstance(dbgeval, MalBoolean) or dbgeval.native())): print("EVAL: " + str(ast)) if isinstance(ast, MalSymbol): key = str(ast) val = env.get(key) if val is None: raise MalUnknownSymbolException(key) return val if isinstance(ast, MalVector): return MalVector([EVAL(x, env) for x in ast.native()]) if isinstance(ast, MalHash_map): new_dict = {} # type: Dict[str, MalExpression] for key in ast.native(): new_dict[key] = EVAL(ast.native()[key], env) return MalHash_map(new_dict) if not isinstance(ast, MalList): return ast if len(ast.native()) == 0: return ast first = str(ast.native()[0]) rest = ast.native()[1:] if first == "def!": key = str(ast.native()[1]) value = EVAL(ast.native()[2], env) return env.set(key, value) if first == "let*": assert len(rest) == 2 let_env = Env(env) bindings = rest[0] assert isinstance(bindings, MalList) or isinstance(bindings, MalVector) bindings_list = bindings.native() assert len(bindings_list) % 2 == 0 for i in range(0, len(bindings_list), 2): assert isinstance(bindings_list[i], MalSymbol) assert isinstance(bindings_list[i + 1], MalExpression) let_env.set(str(bindings_list[i]), EVAL(bindings_list[i + 1], let_env)) expr = rest[1] return EVAL(expr, let_env) f, *args = (EVAL(form, env) for form in ast.native()) try: return f.call(args) except AttributeError: raise MalInvalidArgumentException(f, "attribute error")
def eval_ast(ast: MalExpression, env: Dict[str, MalFunctionCompiled]) -> MalExpression: if isinstance(ast, MalSymbol): try: return env[str(ast)] except KeyError: raise MalUnknownSymbolException(str(ast)) if isinstance(ast, MalList): return MalList([EVAL(x, env) for x in ast.native()]) if isinstance(ast, MalVector): return MalVector([EVAL(x, env) for x in ast.native()]) if isinstance(ast, MalHash_map): new_dict = {} # type: Dict[str, MalExpression] for key in ast.native(): new_dict[key] = EVAL(ast.native()[key], env) return MalHash_map(new_dict) return ast
def EVAL(ast: MalExpression, env: Dict[str, MalFunctionCompiled]) -> MalExpression: # print("EVAL: " + str(ast)) if isinstance(ast, MalSymbol): try: return env[str(ast)] except KeyError: raise MalUnknownSymbolException(str(ast)) if isinstance(ast, MalVector): return MalVector([EVAL(x, env) for x in ast.native()]) if isinstance(ast, MalHash_map): new_dict = {} # type: Dict[str, MalExpression] for key in ast.native(): new_dict[key] = EVAL(ast.native()[key], env) return MalHash_map(new_dict) if not isinstance(ast, MalList): return ast if len(ast.native()) == 0: return ast f, *args = (EVAL(form, env) for form in ast.native()) return f.call(args)
def EVAL(ast: MalExpression, env: Env) -> MalExpression: while True: dbgeval = env.get("DEBUG-EVAL") if (dbgeval is not None and not isinstance(dbgeval, MalNil) and (not isinstance(dbgeval, MalBoolean) or dbgeval.native())): print("EVAL: " + str(ast)) ast_native = ast.native() if isinstance(ast, MalSymbol): key = str(ast) val = env.get(key) if val is None: raise MalUnknownSymbolException(key) return val if isinstance(ast, MalVector): return MalVector([EVAL(x, env) for x in ast_native]) if isinstance(ast, MalHash_map): new_dict = {} # type: Dict[str, MalExpression] for key in ast_native: new_dict[key] = EVAL(ast_native[key], env) return MalHash_map(new_dict) if not isinstance(ast, MalList): return ast elif len(ast_native) == 0: return ast first_str = str(ast_native[0]) if first_str == "def!": name: str = str(ast_native[1]) value: MalExpression = EVAL(ast_native[2], env) return env.set(name, value) elif first_str == "let*": assert len(ast_native) == 3 let_env = Env(env) bindings: MalExpression = ast_native[1] assert isinstance(bindings, MalList) or isinstance( bindings, MalVector) bindings_list: List[MalExpression] = bindings.native() assert len(bindings_list) % 2 == 0 for i in range(0, len(bindings_list), 2): assert isinstance(bindings_list[i], MalSymbol) assert isinstance(bindings_list[i + 1], MalExpression) let_env.set(str(bindings_list[i]), EVAL(bindings_list[i + 1], let_env)) env = let_env ast = ast_native[2] continue elif first_str == "do": for x in range(1, len(ast_native) - 1): EVAL(ast_native[x], env) ast = ast_native[len(ast_native) - 1] continue elif first_str == "if": condition = EVAL(ast_native[1], env) if isinstance(condition, MalNil) or (isinstance(condition, MalBoolean) and condition.native() is False): if len(ast_native) >= 4: ast = ast_native[3] continue else: return MalNil() else: ast = ast_native[2] continue elif first_str == "fn*": raw_ast = ast_native[2] raw_params = ast_native[1] def fn(args: List[MalExpression]) -> MalExpression: f_ast = raw_ast f_env = Env(outer=env, binds=raw_params.native(), exprs=args) return EVAL(f_ast, f_env) return MalFunctionRaw(fn=fn, ast=raw_ast, params=raw_params, env=env) elif first_str == "quote": return (MalList(ast_native[1].native()) if isinstance( ast_native[1], MalVector) else ast_native[1]) elif first_str == "quasiquote": ast = quasiquote(ast_native[1]) continue else: f, *args = (EVAL(form, env) for form in ast_native) if isinstance(f, MalFunctionRaw): ast = f.ast() env = Env( outer=f.env(), binds=f.params().native(), exprs=args, ) continue elif isinstance(f, MalFunctionCompiled): return f.call(args) else: raise MalInvalidArgumentException(f, "not a function")