A high-level functional programming language PoC that compiles to TEAL
We are building a new programming language with pyteal/typescript-inspired syntax. The current implementation of PyTEAL is very similar to writing an abstract syntax tree, which is not very conducive to a convenient developer experience.
Another advantage that the proposed syntax would provide is a strict, type-checked global and local schema. Currently, PyTEAL does not provide any strict schema checking or verification at compile time.
There are also a series of opcodes in the pyteal spec that would conceivably allow for structured types and function pointers (with a lightweight vtable implementation), as well as byte/int arrays.