core

type Context struct {
	Module    Module
	Registry  Registry
	Converter Converter
	Checker   TypeChecker
	Evaluator Evaluator
	Variables map[string]Value
	Parent    *Context
}

type Converter interface {
	ConvertType(node ast.Node) (Type, error)
	ConvertValue(node ast.Node) (Value, error)
	ConvertModule(node *ast.File) (Module, error)
}

type Evaluator interface {
	Evaluate(node ast.Node) (Value, error)
	EvaluateInContext(node ast.Node, context *Context) (Value, error)
}

type FunctionEvaluator interface {
	// EvaluateFunction 求值函数
	EvaluateFunction(funcDecl *ast.FuncDecl, args []any) (any, error)
}

type Module interface {
	Name() string
	Path() string
	GetType(name string) (Type, bool)
	GetValue(name string) (Value, bool)
	Export(name string, value interface{}) error
	Import(name string, alias string, from string) error
}

type Registry interface {
	RegisterModule(module Module) error
	GetModule(name string) (Module, bool)
	ResolveSymbol(moduleName, symbolName string) (any, bool)
	ResolveDependencies() error
}

type Type interface {
	Name() string
	Kind() TypeKind
	AssignableTo(other Type) bool
	Equals(other Type) bool
}

type TypeChecker interface {
	CheckType(expr ast.Expr) (Type, error)
	InferType(expr ast.Expr) (Type, error)
	CheckAssignment(target Type, value Value) error
}

type TypeKind int

type Value interface {
	Type() Type
	Interface() any
	Equals(other Value) bool
}