lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

//! Evaluation engine for the Lambdust language.
//!
//! This module provides the complete evaluation system for Lambdust,
//! including proper tail call optimization, lexical scoping, and
//! comprehensive error reporting with stack traces.

pub mod value;
pub mod optimized_value;
pub mod environment;
pub mod cached_environment;
pub mod evaluator;
pub mod parameter;
pub mod fast_path;
pub mod optimized_environment;
pub mod monadic_evaluator;
pub mod gc_coordinator;
pub mod continuation_gc;

// New monadic architecture modules
pub mod operational_semantics;
pub mod continuation_domain;
pub mod monadic_architecture;
pub mod effect_integration;
pub mod evaluator_integration;
pub mod testing_architecture;

#[cfg(test)]
mod tests;

#[cfg(test)]
mod environment_integration_tests;

// Re-export public types and functions
pub use value::{
    Value, Environment, ThreadSafeEnvironment, Generation, StackTrace, StackFrame, FrameType,
    Procedure, PrimitiveProcedure, PrimitiveImpl, Continuation, Frame,
    SyntaxTransformer, Port, PortImpl, PortMode, PortDirection, StandardPort, PortFileHandle, Promise,
    TypeValue, ForeignObject, Parameter,
};
pub use optimized_value::{OptimizedValue, OptimizedEnvironment, OptimizedFrame};
pub use fast_path::{FastPathOp, execute_fast_path, execute_fast_path_optimized, is_fast_path_operation, FastPathStats, get_fast_path_stats};
pub use environment::{EnvironmentBuilder, global_environment};
pub use cached_environment::{CachedEnvironment, CacheStatistics};
pub use evaluator::{Evaluator, EvalStep};
pub use parameter::{ParameterBinding, ParameterFrame};
pub use optimized_environment::{OptimizedEnvironment as OptEnv, OptimizedEnvironmentBuilder, EnvironmentStats};
pub use gc_coordinator::{
    GcCoordinator, GcCoordinatorConfig, SessionId, EvaluationSession, GlobalRoot,
    GcCollectionResult, ComprehensiveRootScanResult, EvaluatorGcExt
};
pub use continuation_gc::{
    GcContinuationManager, GcContinuationConfig, ContinuationEntry, EnvironmentCaptureInfo,
    StackTraceManager, PreservedStackTrace, ContinuationStatistics
};