Introduction to LIGO
So as to implement Marigold, a layer 2 resolution for Tezos, we constructed a language that may allow us to write advanced, but environment friendly, good contracts. Thus, LIGO was born. LIGO continues to be in early-stage growth, however we’re excited to present you a sneak peek.
LIGO is a straightforward good contract language designed for creating longer contracts than one would naturally write in Michelson. It’s an crucial language that compiles down to wash Michelson code, that includes a Pascal-like syntax and a easy kind system.
LIGO is being developed by Nomadic Labs builders, Georges Dupéron and Christian Rinderknecht, and the Marigold Venture.
We’re at the moment ending the primary prototype of LIGO. It options wealthy error messages, a small unit-testing framework and transpilation to Michelson. Over the subsequent week, we’ll put up a tutorial to put in and play with it.
For individuals who can’t wait to study extra, beneath is a pattern of the code: an entry level to a crowdfunding contract.
On prime of the prototype, we’re engaged on editor integration. We’re beginning with VS Code, however LIGO ought to simply allow help for Emacs and different widespread editors.
After we end the prototype and primary editor integrations (syntax highlighting, kind data and good auto-completion), we’ll present a user-guide, documentation for the compiler, in addition to stabilize the command line interface.
Nomadic Labs will then work on formal verification and enhance tooling. In the meantime, The Marigold Venture will concentrate on writing its smart-contracts for Layer-2 scaling in LIGO.