oboard/moonbit-eval/interpreter

README
T
EvalResult
- ::createMoonBitVM::create
- ::evalMoonBitVM::eval
- ::newMoonBitVM::new
V
add_embedded_fn
V
add_embedded_method
V
add_extern_fn
V
eval_result_to_string
V
expr_to_string
V
stop
V
value_to_json
V
value_to_string

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

RuntimeFunction

typealias (RuntimeFunctionContext) -> RuntimeValue as RuntimeFunction

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

ClosureInterpreter

source

pub(all) struct ClosureInterpreter {
  extern_fns : Map[String, (RuntimeFunctionContext) -> RuntimeValue]
  embedded_fns : Map[String, (RuntimeFunctionContext) -> RuntimeValue]
  embedded_methods : Map[String, Map[String, (RuntimeFunctionContext) -> RuntimeValue]]
  env : RuntimeEnvironment
  state : InterpreterState
  modules : Map[String, RuntimeModule]
}

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

ClosureInterpreter::add_embedded_fn

source

fn ClosureInterpreter::add_embedded_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> RuntimeValue) -> Unit

ClosureInterpreter::add_embedded_method

source

fn ClosureInterpreter::add_embedded_method(self : ClosureInterpreter, type_name : String, method_name : String, f : (RuntimeFunctionContext) -> RuntimeValue) -> Unit

ClosureInterpreter::add_extern_fn

source

fn ClosureInterpreter::add_extern_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> 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]) -> RuntimeValue

ClosureInterpreter::call_closure

source

fn ClosureInterpreter::call_closure(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, env : RuntimeEnvironment, args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument]) -> 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::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 : RuntimeValue, cases : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Case
Case]) -> RuntimeValue

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

ClosureInterpreter::get_function_type_string

source

fn ClosureInterpreter::get_function_type_string(self : ClosureInterpreter, value : 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::start

source

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

ClosureInterpreter::stop

source

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

ClosureInterpreter::top_visit

source

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

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) -> RuntimeValue

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

InterpreterState

source

pub(all) enum InterpreterState {
  Running
  Stopped
}

解释器状态

ModuleMeta

source

pub struct ModuleMeta {
  name : String
  version : String?
  deps : Map[String, String]?
  readme : String?
  repository : String?
  license : String?
  keywords : Array[String]?
  description : String?
  source : String?
}

模块元数据

impl Show for ModuleMeta

impl ToJson for ModuleMeta

impl FromJson for ModuleMeta

ModuleMeta::new

source

fn ModuleMeta::new(name : String, version? : String, readme? : String, repository? : String, license? : String, keywords? : Array[String], description? : String, source? : String, deps? : Map[String, String]) -> ModuleMeta

模块元数据构造函数

RuntimeArgument

source

pub(all) struct RuntimeArgument {
  value : RuntimeValue
  kind : @moonbitlang/parser/syntax.ArgumentKind
ArgumentKind
}

RuntimeEnvironment

source

pub(all) struct RuntimeEnvironment {
  traits : Map[String, @moonbitlang/parser/syntax.TraitDecl
TraitDecl]
  fn_aliases : Map[String, String]
  type_definitions : Map[String, @moonbitlang/parser/syntax.TypeDecl
TypeDecl]
  struct_methods : Map[String, Map[String, @moonbitlang/parser/syntax.Func
Func]]
  type_environment : TypeEnvironment
  values : Map[String, RuntimeValue]
  mutable_vars : Map[String, Bool]
  parent : RuntimeEnvironment?
  deps : Map[String, RuntimeModule]
}

impl ToJson for RuntimeEnvironment

RuntimeEnvironment::copy

source

fn RuntimeEnvironment::copy(self : RuntimeEnvironment) -> RuntimeEnvironment

深拷贝环境 - 完全复制所有内容

RuntimeEnvironment::create_closure_env

source

fn RuntimeEnvironment::create_closure_env(self : RuntimeEnvironment) -> RuntimeEnvironment

为闭包创建捕获环境 - 实现正确的变量捕获语义

RuntimeEnvironment::current_scope

source

fn RuntimeEnvironment::current_scope(self : RuntimeEnvironment) -> Map[String, RuntimeValue]

获取当前变量作用域

RuntimeEnvironment::define_struct_method

source

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

RuntimeEnvironment::find

source

fn RuntimeEnvironment::find(self : RuntimeEnvironment, name : String) -> RuntimeValue

在解释器中查找变量

RuntimeEnvironment::find_fn_alias

source

fn RuntimeEnvironment::find_fn_alias(self : RuntimeEnvironment, name : String) -> String

RuntimeEnvironment::new

source

fn RuntimeEnvironment::new(parent? : RuntimeEnvironment, values? : Map[String, RuntimeValue]) -> RuntimeEnvironment

RuntimeEnvironment::set

source

fn RuntimeEnvironment::set(self : RuntimeEnvironment, name : String, value : RuntimeValue) -> Unit

设置不可变变量

RuntimeEnvironment::set_mutable_variable

source

fn RuntimeEnvironment::set_mutable_variable(self : RuntimeEnvironment, name : String, value : RuntimeValue) -> Unit

设置可变变量

RuntimeEnvironment::top_func_def_to_closure

source

fn RuntimeEnvironment::top_func_def_to_closure(self : RuntimeEnvironment, func : @moonbitlang/parser/syntax.Impl
Impl) -> RuntimeValue

处理函数声明体，创建Lambda函数并注册到环境中

RuntimeEnvironment::update

source

fn RuntimeEnvironment::update(self : RuntimeEnvironment, name : String, new_value : RuntimeValue) -> Unit

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

RuntimeEnvironment::with_ident

source

fn[T] RuntimeEnvironment::with_ident(self : RuntimeEnvironment, long_ident : @moonbitlang/parser/syntax.LongIdent
LongIdent, func : (RuntimeEnvironment, String) -> T) -> T

RuntimeFunctionContext

source

pub(all) struct RuntimeFunctionContext {
  context : ClosureInterpreter
  arguments : Array[RuntimeArgument]
}

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

RuntimeModule

source

pub(all) struct RuntimeModule {
  meta : ModuleMeta
  env : RuntimeEnvironment
}

impl ToJson for RuntimeModule

RuntimeModule::new

source

fn RuntimeModule::new(pkg : String, builder : (RuntimeEnvironment, (String) -> RuntimeValue) -> Map[String, RuntimeValue]) -> RuntimeModule

RuntimeValue

source

pub(all) enum RuntimeValue {
  Unit
  Bool(Bool)
  Int(Int)
  UInt(UInt)
  Int64(Int64)
  UInt64(UInt64)
  Float(Float)
  Double(Double)
  BigInt(@moonbitlang/core/bigint.BigInt
BigInt)
  Char(Char)
  Byte(Byte)
  String(String)
  Tuple(Array[RuntimeValue])
  Array(Array[RuntimeValue])
  Map(Map[RuntimeValue, RuntimeValue])
  Struct(Ref[Map[String, RuntimeValue]])
  Closure(@moonbitlang/parser/syntax.Func
Func, RuntimeEnvironment)
  Constructor(String, Array[RuntimeValue])
  Break(RuntimeValue?)
  Continue(Array[RuntimeValue])
  Return(RuntimeValue)
  Exception(String)
  TraitObject(RuntimeValue, String)
}

运行时值 - 解释器实际操作的数据类型

impl Add for RuntimeValue

impl Eq for RuntimeValue

impl Hash for RuntimeValue

impl Show for RuntimeValue

impl ToJson for RuntimeValue

RuntimeValue::from_expr

source

fn RuntimeValue::from_expr(expr : @moonbitlang/parser/syntax.Expr
Expr) -> RuntimeValue

将@syntax.Expr转换为RuntimeValue

RuntimeValue::from_option

source

fn RuntimeValue::from_option(self : RuntimeValue?) -> RuntimeValue

RuntimeValue::is_mutable

source

fn RuntimeValue::is_mutable(self : RuntimeValue) -> Bool

检查值是否为可变类型

RuntimeValue::is_reference

source

fn RuntimeValue::is_reference(self : RuntimeValue) -> Bool

检查值是否为引用类型

RuntimeValue::to_expr

source

fn RuntimeValue::to_expr(self : RuntimeValue) -> @moonbitlang/parser/syntax.Expr
Expr

将RuntimeValue转换为表达式（用于输出）

TypeEnvironment

source

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

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

impl ToJson for TypeEnvironment

array_methods

source

let array_methods : Map[String, (RuntimeFunctionContext) -> 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

error

source

#callsite(autofill(loc))
fn[A] error(msg : String, loc~ : SourceLoc) -> A

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

infer_type_from_constant

source

fn infer_type_from_constant(c : @moonbitlang/parser/syntax.Constant
Constant) -> String

从常量推导类型

int_embedded_code

source

let int_embedded_code : Map[String, (RuntimeFunctionContext) -> RuntimeValue]

int_methods

source

let int_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue]

is_comparison_op

source

fn is_comparison_op(op : String) -> Bool

option_methods

source

let option_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue]

parse_code_to_expr

source

fn parse_code_to_expr(code : String) -> Result[@moonbitlang/parser/syntax.Expr
Expr, String]

parse_code_to_impl

source

fn parse_code_to_impl(code : String) -> Result[@moonbitlang/parser/syntax.Impl
Impl, String]

runtime_value_infix

source

fn runtime_value_infix(op : String, lhs : RuntimeValue, rhs : RuntimeValue) -> RuntimeValue

RuntimeValue 之间的中缀运算 - 消除对 constant_infix 的依赖

string_embedded_code

source

let string_embedded_code : Map[String, (RuntimeFunctionContext) -> RuntimeValue]

string_methods

source

let string_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue]

type_to_string

source

fn type_to_string(ty : @moonbitlang/parser/syntax.Type
Type) -> String

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::execute_function_call

#ClosureInterpreter::execute_match

#ClosureInterpreter::execute_match_runtime

#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::start

#ClosureInterpreter::stop

#ClosureInterpreter::top_visit

#ClosureInterpreter::value_in_range

#ClosureInterpreter::visit

#InterpreterState

#ModuleMeta

#ModuleMeta::new

#RuntimeArgument

#RuntimeEnvironment

#RuntimeEnvironment::copy

#RuntimeEnvironment::create_closure_env

#RuntimeEnvironment::current_scope

#RuntimeEnvironment::define_struct_method

#RuntimeEnvironment::find

#RuntimeEnvironment::find_fn_alias

#RuntimeEnvironment::new

#RuntimeEnvironment::set

#RuntimeEnvironment::set_mutable_variable

#RuntimeEnvironment::top_func_def_to_closure

#RuntimeEnvironment::update

#RuntimeEnvironment::with_ident

#RuntimeFunctionContext

#RuntimeModule

#RuntimeModule::new

#RuntimeValue

#RuntimeValue::from_expr

#RuntimeValue::from_option

#RuntimeValue::is_mutable

#RuntimeValue::is_reference

#RuntimeValue::to_expr

#TypeEnvironment

#array_methods

#compare

#constant_infix

#error

#eval_double_op

#eval_float_op

#eval_int64_op

#eval_int_op

#eval_uint64_op

#eval_uint_op

#infer_type_from_constant

#int_embedded_code

#int_methods

#is_comparison_op

#option_methods

#parse_code_to_expr

#parse_code_to_impl

#runtime_value_infix

#string_embedded_code

#string_methods

#type_to_string

#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::execute_function_call

ClosureInterpreter::execute_match

ClosureInterpreter::execute_match_runtime

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::start

ClosureInterpreter::stop

ClosureInterpreter::top_visit

ClosureInterpreter::value_in_range

ClosureInterpreter::visit

InterpreterState

ModuleMeta

ModuleMeta::new

RuntimeArgument

RuntimeEnvironment

RuntimeEnvironment::copy

RuntimeEnvironment::create_closure_env

RuntimeEnvironment::current_scope

RuntimeEnvironment::define_struct_method

RuntimeEnvironment::find

RuntimeEnvironment::find_fn_alias

RuntimeEnvironment::new

RuntimeEnvironment::set

RuntimeEnvironment::set_mutable_variable

RuntimeEnvironment::top_func_def_to_closure

RuntimeEnvironment::update

RuntimeEnvironment::with_ident

RuntimeFunctionContext

RuntimeModule

RuntimeModule::new

RuntimeValue

RuntimeValue::from_expr

RuntimeValue::from_option

RuntimeValue::is_mutable

RuntimeValue::is_reference

RuntimeValue::to_expr

TypeEnvironment

array_methods

compare

constant_infix

error

eval_double_op

eval_float_op

eval_int64_op

eval_int_op

eval_uint64_op

eval_uint_op

infer_type_from_constant

int_embedded_code

int_methods

is_comparison_op

option_methods

parse_code_to_expr

parse_code_to_impl

runtime_value_infix

string_embedded_code

string_methods

type_to_string

unit