Semantic Coherence: Ligo – Signal Evidence & AI Readability

[H2] Ligo Loves Everyone
So, we built it with multi-syntax.JsLIGOCameLIGOtype storage = int;type ret = [list<operation>, storage];// Three entrypoints
@entryconst increment = (delta: int, store: storage): ret => [[], store + delta];@entryconst decrement = (delta: int, store: storage): ret => [[], store - delta];@entryconst reset = (_p: unit, _s: storage): ret => [[], 0]
try jsligo onlinetype storage = int
type ret = operation list * storage
(* Three entrypoints *)
[@entry]let increment (delta : int) (store : storage) : ret = [], store + delta
[@entry]let decrement (delta : int) (store : storage) : ret = [], store - delta
[@entry]let reset (() : unit) (_ : storage) : ret = [], 0
try cameligo online
[H2] Build it with Ligo
Discover everything you need to safely interact with the Tezos blockchain.
[H3] Static Analysis
Ligo use static analysis and strong typing to help you write safer code.
[H3] Multi-syntax
Ligo brings syntaxes that fit your preferences: TypeScript-inspired or OCaml-inspired.
[H3] Optimized by Design
Ligo is a high-level language that compiles to optimized Tezos bytecode.
[H3] Testing System
Ligo uses a robust testing system to simulate the Tezos blockchain, as if you were inside.
[H3] Community
Ligo's community is here to help. Join us on Discord, or let's learn by doing on our Registry.
[H3] First Class Tooling
Ligo cares about Developer Experience, so we've developed a set of tools made just for you.
[H2] What's New in Ligo ?
We're constantly evolving. Keep in touch.
[H3] Take a look at the Changelog
The Ligo team and the community are improving the smart-contract language every day. See the recent changes on our up-to-date Changelog.Go to Ligo Changelog
[H3] GitLab
Ligo sources are available on our GitLab. Feel free to open an issue or contribute.Contribute to Ligo
[H3] Events
The Ligo team is contributing too. See us at conferences to discover Ligo through a talk given by one of our teammates.ligo at tez/dev
[H3] Follow-uson X
Ligo team shares news on X (Twitter); don't miss them and follow us.Follow-us on
[IMG: Follow Ligo on X]
[H2] Build Ligo Together
Developers all over the world are building the future of Ligo together.78
[H3] contributors
Ligo is open-source and open for contributions. Join the Ligo team on GitLab and start contributing!contribute on gitlab11253
[H3] members on discord
The Ligo community is growing fast. Join our Discord to talk about the Tezos ecosystem, find help, and discover a lot more.join our discord9
[H3] packages
The Ligo team and community have exposed some packages that you can reuse when developing your own contracts. Discover them on our registry!see our registry
[H2] Open Sources
Made possible by our awesome partners.

Version: 1.14.2On this page
[H3] Ligo, a SmartContract Language built for Tezos​
LIGO is a programming language for writing smart contracts, compiling in Michelson and deployable on Tezos blockchain.Our hope is to have a simple, strongly typed language with
a low footprint. Most useful smart contracts can express their core functionality in under a
thousand lines of code.
[H3] LIGO, for newcomers or confirmed developpers​
Even if LIGO currently offers two syntaxes, you'll need to choose only one:JsLIGO, ideal for web developers, is a TypeScript/JavaScript inspired syntax without unnecessary complexity, which is not helpful in smart contract development. A quick way to produce your first dApp!Copy type storage = string;
@entry const store_hello = (delta: int, store: storage): [list<operation>, storage] => [[], "Hello"];CameLIGO is designed for developers with a background in
functional programming, in particular OCaml. An
OCaml-inspired syntax allows you to write in
a functional style.Copy type storage = string
[@entry] let store_hello (delta : int) (store : storage) : operation list * storage = [], "Hello"A significant advantage of the multi-syntax feature is to share knowledge, toolings, and modules (like libraries onto registry) in a larger community.
[H3] LIGO, designed to be cost-effective​
Unlike desktop, mobile, or web application development, smart
contracts cannot rely on cheap CPU time and memory. All resources
contracts use are expensive and tracked as
'gas costs'.The LIGO compiler generates optimised Michelson code, which will
be cost-effective on Tezos.
[H3] LIGO, designed for your security​
Tezos smart contract live on the blockchain forever if a bug exists,
they cannot be patched or amended. Smart contracts often directly
control money or assets, which if stolen, could be a large financial
loss to the contracts and their users.LIGO will bring people to web3 and by design reduce the risk
that your smart contract will lose its balance to an
avoidable exploit.But compiler design is insufficient, and LIGO uses static analysis to
encourage people to write simple code, avoid anti-patterns, and use
the
robust test framework
which can simulate Tezos blockchain and offer
mutation testsFor critical code, LIGO also keeps its compiled output unbloated making possible to formally verify the compiled output using a project like
Mi-Cho-Coq.
[H3] A set of tools already available​
Quickly explore LIGO using webideQuickly bootstrap a project with registryImprove development experience with our LSP server available in the
VS Code extensionUnderstand and troubleshoot your code with the debugger available in vscode extensionIntegrate LIGO to your pipeline with ligo github actionTest your documentation with ligo-mdx
[H2] Where to start​
[H3] Do you want to try LIGO?​
For a quick overview, get-started is a good choice. Webide can be used to avoid installation onto your laptop.
[H3] Do you want to learn LIGO?​
Your choice to learn LIGO is already available:Read basics to have a basic comprehensionWrite your first smart contract.Others resources are available on marigold.dev
[H3] Do you want to build a production-ready project?​
You will need a deeper comprehension:Teach yourself how to structure your code with Combining code sectionLearn how to write tests we strongly encourage to use breathalyzer library from the LIGO registry.Understand how to secure a contract
[H3] Dig deeper​
In the end, maybe you will want to:Optimize your codeInteract with other contractsLigo, a SmartContract Language built for TezosLIGO, for newcomers or confirmed developpersLIGO, designed to be cost-effectiveLIGO, designed for your securityA set of tools already availableWhere to startDo you want to try LIGO?Do you want to learn LIGO?Do you want to build a production-ready project?Dig deeper

Version: 1.14.2Here you can find all the recurrent questions regarding LIGO. You can
use the search bar at the top-right corner to dig in the FAQ section.If you do not find the answer to your question in here, feel free to
reach us.

Version: 1.14.2
[H1] LIGO Changelog
If you're seeing this page, you have built the website manually without nix.To see the changelog, runCopy./scripts/changelog-json.sh | mustache ./scripts/changelog.txt.mustachein the LIGO directory.