Tealang

High-level language for Algorand Smart Contracts at Layer-1 and its low-level TEAL v2 language. The goal is to abstract the stack-based TEAL VM and provide imperative Go/JS/Python-like syntax.

Language Features

• Integer and bytes types

• Variables and constants

let variable1 = 1
const myaddr = addr"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAY5HFKQ"

• All binary and unary operations from TEAL

let a = (1 + 2) / 3
let b = ~a

• Inlined functions

function sample(a) {
    return a - 1
}

function logic() {
    return sample(2)
}

• Condition statements and expressions

function condition(a) {
    let b = if a == 1 { 10 } else { 0 }

    if b == 0 {
        return a
    }
    return 1
}

• Type checking

function get_string() {
    return "\x32\x33\x34"
}

function logic() {
    let a = 1
    a = get_string()
    return a
}

• Modules

import stdlib.const

• Antlr-based parser

Language guide

Documentation

Usage

• Tealang to bytecode

  tealang mycontract.tl -o mycontract.tok

• Tealang to TEAL

  tealang -c mycontract.tl -o mycontract.teal

• Tealang logic one-liner to bytecode

  tealang -l '(txn.Sender == "abc") && global.MinTxnFee > 2000' -o mycontract.tok

• stdin to stdout

  cat mycontract.tl | tealang -s -r - > mycontract.tok

• Dryrun / trace

  tealang -s -c -d '' examples/basic.tl

Checkout syntax highlighter for vscode.

Build from sources

Prerequisites

1. Set up ANTLR4 as explained in the documentation
2. Install runtime for Go

   go get -u github.com/antlr/antlr4/runtime/Go/antlr

3. Install and setup go-algorand. Read Algorand README if needed.

   go get -u github.com/algorand/go-algorand
   pushd $(go env GOPATH)/src/github.com/algorand/go-algorand
   make build
   popd

4. If you see the error

   ../../go/src/github.com/algorand/go-algorand/logging/telemetry.go:78:32: multiple-value uuid.NewV4() in single-value context
   

   then

   pushd $(go env GOPATH)/src/github.com/satori/go.uuid
   git checkout v1.2.0
   popd

Build and test

make

Build and run Java AST visualizer

make java-gui ARGS=examples/basic.tl

Roadmap

1. Constant folding.
2. Improve errors reporting.
3. Code gen: do not use temp scratch in "assign and use" case.
4. Code gen: keep track scratch slots and mark as available after freeing with load.