Lazy ML

Lazy ML — это строго типизированный, статический, функциональный язык программирования с поддержкой “ленивых” вычислений. Характерной чертой является то, что генерация машинного кода происходит в два этапа. На первом этапе происходит генерация кода для абстрактной G машины, а на втором этапе уже из полученного кода генерируется машинный код.