Monte is designed for agoric systems, promotes secure distributed computation, and is focused on readability and clarity.

Monte's design incorporates:

Additional boons of Monte include:

Website

Example syntax:

def x :Int := 5 + 7
traceln(`x = $x`)
def isEven(i :Int) :Bool:
    return i % 2 == 0
var wondrous :Int := 27
while (wondrous != 1):
    traceln(`wondrous = $wondrous`)
    wondrous := if (isEven(wondrous)) {wondrous // 2} else {wondrous * 3 + 1}
def greeting :Str := "This string is in Monte (/ˈmɔːntiː/)"
def `This @thing is in @{language :Str}` := greeting
[thing, language]


Tags: language   object capability  

Last modified 01 July 2021