oboard/moonbit-eval/interpreter

README
U
RuntimeFunction
T
EvalResult
- ::createMoonBitVM::create
- ::evalMoonBitVM::eval
- ::newMoonBitVM::new
V
add_extern_fn
V
eval_result_to_string
V
expr_to_string

oboard/moonbit-eval/interpreter does not have a README file

RuntimeFunction

typealias (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue as RuntimeFunction

新的函数类型定义 - 统一的上下文访问

ClosureInterpreter

source

pub(all) struct ClosureInterpreter {
  extern_fns : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]
  embedded_fns : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]
  embedded_methods : Map[String, Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]]
  fn_aliases : Map[String, String]
  env : @oboard/moonbit-eval/value.RuntimeEnvironment
RuntimeEnvironment
  type_definitions : Map[String, @moonbitlang/parser/syntax.TypeDecl
TypeDecl]
  struct_methods : Map[String, Map[String, @moonbitlang/parser/syntax.Func
Func]]
  type_environments : Array[TypeEnvironment]
}

支持引用系统和泛型的解释器

ClosureInterpreter::add_embedded_fn

source

fn ClosureInterpreter::add_embedded_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

ClosureInterpreter::add_embedded_method

source

fn ClosureInterpreter::add_embedded_method(self : ClosureInterpreter, type_name : String, method_name : String, f : (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

ClosureInterpreter::add_extern_fn

source

fn ClosureInterpreter::add_extern_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

ClosureInterpreter::bind_function_parameters

source

fn ClosureInterpreter::bind_function_parameters(self : ClosureInterpreter, params : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Parameter
Parameter], args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> Unit

支持所有参数类型：位置参数、标签参数、可选参数、问号可选参数、丢弃参数

ClosureInterpreter::bind_function_parameters_runtime

source

fn ClosureInterpreter::bind_function_parameters_runtime(self : ClosureInterpreter, params : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Parameter
Parameter], args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> Unit

ClosureInterpreter::call

source

fn ClosureInterpreter::call(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue

ClosureInterpreter::call_closure

source

fn ClosureInterpreter::call_closure(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, env : @oboard/moonbit-eval/value.RuntimeEnvironment
RuntimeEnvironment, args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue

调用闭包函数，恢复捕获的环境

ClosureInterpreter::constants_equal

source

fn ClosureInterpreter::constants_equal(_self : ClosureInterpreter, c1 : @moonbitlang/parser/syntax.Constant
Constant, c2 : @moonbitlang/parser/syntax.Constant
Constant) -> Bool

检查两个常量是否相等

ClosureInterpreter::constants_equal_expr

source

fn ClosureInterpreter::constants_equal_expr(self : ClosureInterpreter, expr1 : @moonbitlang/parser/syntax.Expr
Expr, expr2 : @moonbitlang/parser/syntax.Expr
Expr) -> Bool

检查两个表达式是否相等（用于构造函数匹配）

ClosureInterpreter::define_struct_method

source

fn ClosureInterpreter::define_struct_method(self : ClosureInterpreter, type_name : String, method_name : String, func : @moonbitlang/parser/syntax.Func
Func) -> Unit

ClosureInterpreter::execute_function_call

source

fn ClosureInterpreter::execute_function_call(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> @moonbitlang/parser/syntax.Expr
Expr

处理用户定义函数的调用，包括作用域管理和参数绑定

ClosureInterpreter::execute_match

source

fn ClosureInterpreter::execute_match(self : ClosureInterpreter, value : @moonbitlang/parser/syntax.Expr
Expr, cases : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Case
Case]) -> @moonbitlang/parser/syntax.Expr
Expr

执行match表达式的模式匹配

ClosureInterpreter::execute_match_runtime

source

fn ClosureInterpreter::execute_match_runtime(self : ClosureInterpreter, value : @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue, cases : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Case
Case]) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue

执行match表达式的模式匹配（返回RuntimeValue）

ClosureInterpreter::find_variable

source

fn ClosureInterpreter::find_variable(self : ClosureInterpreter, name : String) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue

在解释器中查找变量

ClosureInterpreter::get_function_type_string

source

fn ClosureInterpreter::get_function_type_string(self : ClosureInterpreter, value : @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> String

将RuntimeValue转换为字符串表示（带解释器支持，用于正确的类型推导）

ClosureInterpreter::is_known_function

source

fn ClosureInterpreter::is_known_function(self : ClosureInterpreter, name : String) -> Bool

检查函数是否为已知函数（存在于任何函数映射中）

ClosureInterpreter::new

source

fn ClosureInterpreter::new(core? : Bool) -> ClosureInterpreter

ClosureInterpreter::pattern_matches

source

fn ClosureInterpreter::pattern_matches(self : ClosureInterpreter, value : @moonbitlang/parser/syntax.Expr
Expr, pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> Bool

检查值是否匹配模式

ClosureInterpreter::pattern_to_value

source

fn ClosureInterpreter::pattern_to_value(self : ClosureInterpreter, pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> @moonbitlang/parser/syntax.Expr
Expr?

将模式转换为值（用于范围匹配）

ClosureInterpreter::pop_scope

source

fn ClosureInterpreter::pop_scope(self : ClosureInterpreter) -> Unit

销毁当前作用域

ClosureInterpreter::push_scope

source

fn ClosureInterpreter::push_scope(self : ClosureInterpreter) -> Unit

创建新的作用域

ClosureInterpreter::set_mutable_variable

source

fn ClosureInterpreter::set_mutable_variable(self : ClosureInterpreter, name : String, value : @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

设置可变变量

ClosureInterpreter::set_variable

source

fn ClosureInterpreter::set_variable(self : ClosureInterpreter, name : String, value : @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

设置不可变变量

ClosureInterpreter::top_visit

source

fn ClosureInterpreter::top_visit(self : ClosureInterpreter, node : @moonbitlang/parser/syntax.Impl
Impl) -> Unit

ClosureInterpreter::update_variable

source

fn ClosureInterpreter::update_variable(self : ClosureInterpreter, name : String, new_value : @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue) -> Unit

在可变变量数组中查找并更新指定变量

ClosureInterpreter::value_in_range

source

fn ClosureInterpreter::value_in_range(self : ClosureInterpreter, value : @moonbitlang/parser/syntax.Expr
Expr, lhs : @moonbitlang/parser/syntax.Pattern
Pattern, rhs : @moonbitlang/parser/syntax.Pattern
Pattern, inclusive : Bool) -> Bool

检查值是否在范围内

ClosureInterpreter::visit

source

fn ClosureInterpreter::visit(self : ClosureInterpreter, node : @moonbitlang/parser/syntax.Expr
Expr) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue

新的优化版本：直接返回 RuntimeValue

RuntimeFunctionContext

source

pub(all) struct RuntimeFunctionContext {
  context : ClosureInterpreter
  arguments : Array[@oboard/moonbit-eval/value.RuntimeArgument
RuntimeArgument]
}

Runtime函数执行上下文 - 统一所有函数的执行环境

TypeEnvironment

source

pub struct TypeEnvironment {
  type_bindings : Map[String, String]
  parent : TypeEnvironment?
}

泛型类型环境 - 跟踪类型变量绑定

array_methods

source

let array_methods : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

compare

source

fn[T : Compare + Eq] compare(left : T, right : T, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

constant_infix

source

fn constant_infix(name : String, lhs : @moonbitlang/parser/syntax.Constant
Constant, rhs : @moonbitlang/parser/syntax.Constant
Constant) -> @moonbitlang/parser/syntax.Constant
Constant

eval_double_op

source

fn eval_double_op(left : Double, right : Double, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_float_op

source

fn eval_float_op(left : Double, right : Double, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_int64_op

source

fn eval_int64_op(left : Int64, right : Int64, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_int_op

source

fn eval_int_op(left : Int, right : Int, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_uint64_op

source

fn eval_uint64_op(left : UInt64, right : UInt64, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_uint_op

source

fn eval_uint_op(left : UInt, right : UInt, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

int_embedded_code

source

let int_embedded_code : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

int_methods

source

let int_methods : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

is_comparison_op

source

fn is_comparison_op(op : String) -> Bool

option_methods

source

let option_methods : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

string_embedded_code

source

let string_embedded_code : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

string_methods

source

let string_methods : Map[String, (RuntimeFunctionContext) -> @oboard/moonbit-eval/value.RuntimeValue
RuntimeValue]

unit

source

fn unit(loc? : @moonbitlang/parser/basic.Location
Location) -> @moonbitlang/parser/syntax.Expr
Expr

Source Files

Site source Report issue Packages Build queue Skills Statistics

#RuntimeFunction

#ClosureInterpreter

#ClosureInterpreter::add_embedded_fn

#ClosureInterpreter::add_embedded_method

#ClosureInterpreter::add_extern_fn

#ClosureInterpreter::bind_function_parameters

#ClosureInterpreter::bind_function_parameters_runtime

#ClosureInterpreter::call

#ClosureInterpreter::call_closure

#ClosureInterpreter::constants_equal

#ClosureInterpreter::constants_equal_expr

#ClosureInterpreter::define_struct_method

#ClosureInterpreter::execute_function_call

#ClosureInterpreter::execute_match

#ClosureInterpreter::execute_match_runtime

#ClosureInterpreter::find_variable

#ClosureInterpreter::get_function_type_string

#ClosureInterpreter::is_known_function

#ClosureInterpreter::new

#ClosureInterpreter::pattern_matches

#ClosureInterpreter::pattern_to_value

#ClosureInterpreter::pop_scope

#ClosureInterpreter::push_scope

#ClosureInterpreter::set_mutable_variable

#ClosureInterpreter::set_variable

#ClosureInterpreter::top_visit

#ClosureInterpreter::update_variable

#ClosureInterpreter::value_in_range

#ClosureInterpreter::visit

#RuntimeFunctionContext

#TypeEnvironment

#array_methods

#compare

#constant_infix

#eval_double_op

#eval_float_op

#eval_int64_op

#eval_int_op

#eval_uint64_op

#eval_uint_op

#int_embedded_code

#int_methods

#is_comparison_op

#option_methods

#string_embedded_code

#string_methods

#unit

Source Files

RuntimeFunction

ClosureInterpreter

ClosureInterpreter::add_embedded_fn

ClosureInterpreter::add_embedded_method

ClosureInterpreter::add_extern_fn

ClosureInterpreter::bind_function_parameters

ClosureInterpreter::bind_function_parameters_runtime

ClosureInterpreter::call

ClosureInterpreter::call_closure

ClosureInterpreter::constants_equal

ClosureInterpreter::constants_equal_expr

ClosureInterpreter::define_struct_method

ClosureInterpreter::execute_function_call

ClosureInterpreter::execute_match

ClosureInterpreter::execute_match_runtime

ClosureInterpreter::find_variable

ClosureInterpreter::get_function_type_string

ClosureInterpreter::is_known_function

ClosureInterpreter::new

ClosureInterpreter::pattern_matches

ClosureInterpreter::pattern_to_value

ClosureInterpreter::pop_scope

ClosureInterpreter::push_scope

ClosureInterpreter::set_mutable_variable

ClosureInterpreter::set_variable

ClosureInterpreter::top_visit

ClosureInterpreter::update_variable

ClosureInterpreter::value_in_range

ClosureInterpreter::visit

RuntimeFunctionContext

TypeEnvironment

array_methods

compare

constant_infix

eval_double_op

eval_float_op

eval_int64_op

eval_int_op

eval_uint64_op

eval_uint_op

int_embedded_code

int_methods

is_comparison_op

option_methods

string_embedded_code

string_methods

unit