Skip to main content

ENVCAP Programming Language

Capabilities as first-class modules with Separate Compilation

ENVCAP Syntax Guide

Capabilities as Modules

ENVCAP treats capabilities as first-class modules, enabling fine-grained control over resources and effects while maintaining type safety.

Separate Compilation

The language supports separate compilation of modules while preserving abstraction boundaries through its capability system.

First-Class Environments

Environments are first-class values in ENVCAP, allowing flexible composition and manipulation of module contexts.