Permalink
Fetching contributors…
Cannot retrieve contributors at this time
87 lines (67 sloc) 1.45 KB

Monte is Serious Business

Monte is a programming language inspired by the E and Python programming languages. Monte aims to be:

  • A reliable scaffold for secure distributed computing
  • An example of capability-safe programming language design
  • A model for misuse-resistant programming
.. toctree::
    :maxdepth: 2

    intro
    taste
    ordinary-programming
    quick_ref
    rosetta-python
    type-system
    misuse-resistant


Secure Distributed Computing

.. toctree::

    design
    ejectors
    vats
    brands
    promises
    streamcaps
    packaging

Language Reference

.. toctree::
    :maxdepth: 2

    modules
    block-expr
    guards
    prim-expr
    collections
    operators
    patterns
    symbols
    quasiliterals
    interfaces
    miranda
    iteration
    custom-guards
    controllers
    slots
    auditors
    semantics
    category

Appendixes, Indices and Tables

.. toctree::

    grammar
    montefesto
    runtime
    tools
    glossary