Commit 74b3403e authored by David Declerck's avatar David Declerck
Browse files

Update 2020_06_09_a-dune-love-story-from-liquidity-to-love.md

parent f17effb2
Pipeline #15497 failed with stages
in 6 minutes and 2 seconds
......@@ -4,7 +4,12 @@ date=2020-06-09
category=Blockchains
tags=
<a href="https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1.png" title="A Dune Love story: From Liquidity to Love"><a href="https://www.ocamlpro.com/2020/06/09/a-dune-love-story-from-liquidity-to-love/" title="A Dune Love story: From Liquidity to Love"><img width="1200" height="1200" src="https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1.png 1200w, https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1-300x300.png 300w, https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1-1024x1024.png 1024w, https://www.ocamlpro.com/wp-content/uploads/2020/06/Liq-Love-1-150x150.png 150w" sizes="(max-width: 1200px) 100vw, 1200px" /></a></a>
<!-- [![Liquidity & Love](assets/img/liq-love-1.png "A Dune Love story: From Liquidity to Love")](https://www.ocamlpro.com/2020/06/09/a-dune-love-story-from-liquidity-to-love/) -->
<div align="center">
<a href="https://www.ocamlpro.com/2020/06/09/a-dune-love-story-from-liquidity-to-love/">
<img width="1200" height="1200" alt="Liquidity & Love" title="A Dune Love story: From Liquidity to Love" src="assets/img/liq-love-1.png">
</a>
</div>
*By OCamlPro & Origin Labs*
......@@ -20,17 +25,21 @@ Dune Network supports multiple native languages:
On the side of compiled languages, Dune Network supports:
- [**Liquidity**](https://www.liquidity-lang.org/), a type-safe ML language suited for formal verification, that compiles to Michelson (and allows developers to decompile Michelson for auditing)
- [**ReasonML**](https://reasonml.github.io/), a JavaScript language designed by Facebook that compiles down to Michelson through Liquidity
- All other Tezos languages that compile to Michelson (for example [**Ligo**](https://ligolang.org/), [**SmartPy**](https://smartpy.io/), [**Albert**](https://albert-lang.io/)
- All other Tezos languages that compile to Michelson (for example [**Ligo**](https://ligolang.org/), [**SmartPy**](https://smartpy.io/), [**Albert**](https://albert-lang.io/)...)
Though Liquidity and Love are both part of the ML family, Liquidity is much more developer-friendly: types are inferred, whereas in Love they have to be explicit, and Liquidity supports the ReasonML JavaScript syntax while Love is bound to its ML syntax.
For all these reasons, we are pleased to announce a wedding: Liquidity now supports the Love language!
![Liquidity & Love](assets/img/liq-love-2.png)Liquidity now supports generating Love smart contracts
![Liquidity & Love](assets/img/liq-love-2.png)
Liquidity now supports generating Love smart contracts
This is great news for Love, as Liquidity is easier to use, and comes with an online web editor, [Try-Liquidity](https://www.liquidity-lang.org/edit/). Liquidity is also being targeted by the [ConCert project](https://arxiv.org/pdf/1907.10674.pdf), aiming at **verifying smart contracts** with the formal verification framework Coq.
![Dune Languages](dune-compilers.png)The Smart Contract Framework on the Dune Network
![Dune Languages](dune-compilers.png)
The Smart Contract Framework on the Dune Network
Compiling contracts from Liquidity to Love has several benefits compared to Michelson. First, Love contracts are about 60% smaller than Michelson contracts, hence they are **60% cheaper** to deploy. Also, the compiler outputs a Love contract that can be easily read and audited.
......@@ -46,13 +55,13 @@ Want to try it out? Check the [Try-Liquidity](https://www.liquidity-lang.org/edi
These are some of the resources you might find interesting when building your own smart contracts:
- **The Love Language Documentation**: [https://dune.network/docs/dune-dev-docs/love-doc/introduction.html]
- **Try-Liquidity:** [https://www.liquidity-lang.org/edit/]
- **The Liquidity Website:** [https://www.liquidity-lang.org/]
- **The Dune Network Website:** [https://dune.network]
- **The Love Language Documentation**: https://dune.network/docs/dune-dev-docs/love-doc/introduction.html
- **Try-Liquidity:** https://www.liquidity-lang.org/edit/
- **The Liquidity Website:** https://www.liquidity-lang.org/
- **The Dune Network Website:** https://dune.network
> ## About OCamlPro
> OCamlPro is a company founded in 2011, with the mission to help industrial users benefit from state-of-the art programming languages like OCaml and Rust. We design, create and implement custom ad-hoc software for our clients. We also have a long experience in developing and maintaining open-source tooling for OCaml, such as Opam, TryOCaml, ocp-indent etc. and we contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch with Jane Street. Another area of expertise is that of Formal Methods, with tools such as our SMT Solver Alt-Ergo (check our Alt-Ergo Users’ Club). We provide consulting and vocational trainings in OCaml and Rust, and we can build courses on formal methods on-demand. Feel free to reach out by email: [contact@ocamlpro.com].
> OCamlPro is a company founded in 2011, with the mission to help industrial users benefit from state-of-the art programming languages like OCaml and Rust. We design, create and implement custom ad-hoc software for our clients. We also have a long experience in developing and maintaining open-source tooling for OCaml, such as Opam, TryOCaml, ocp-indent etc. and we contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch with Jane Street. Another area of expertise is that of Formal Methods, with tools such as our SMT Solver Alt-Ergo (check our Alt-Ergo Users’ Club). We provide consulting and vocational trainings in OCaml and Rust, and we can build courses on formal methods on-demand. Feel free to reach out by email: contact@ocamlpro.com.
> ## About Origin Labs
> Origin Labs is a company founded in 2019 by the former blockchain team at OCamlPro. At Origin Labs, they have been developing Dune Network, a fork of the Tezos blockchain, its ecosystem, and applications over the Dune Network platform. At OCamlPro, they developed TzScan, the most popular block explorer at the time, Liquidity, a smart contract language, and were involved in the development of the core protocol and node. Feel free to reach out by email: [contact@origin-labs.com].
> Origin Labs is a company founded in 2019 by the former blockchain team at OCamlPro. At Origin Labs, they have been developing Dune Network, a fork of the Tezos blockchain, its ecosystem, and applications over the Dune Network platform. At OCamlPro, they developed TzScan, the most popular block explorer at the time, Liquidity, a smart contract language, and were involved in the development of the core protocol and node. Feel free to reach out by email: contact@origin-labs.com.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment