Blockchain I Glow programming language

What is Glow? Glow is the programming language of Cardano (ADA). You can use Glow to build Decentralized Applications (Dapps) that are fast, secure and easy to use. This programming language is interoperable which means they can work on various blockchains.

Glow
Glow is a programming language, just like Solidity, Python, etc. The only difference is that Glow is a programming language specifically designed for Cardano. With Glow you can build Dapps. A Dapp is an application like the one on your smartphone, but built on the blockchain. Glow is a Domain-Specific Language (DSL). With DSL you can program Dapps for the Cardano blockchain in a safe and fast way.

Glow has three advantages:

• Security
• User-friendly
• Interoperable.

Security
It goes without saying, but security is very important. Hacks still happen a lot in the crypto world. At Glow, the programmers test the various processes that keep the blockchain and the network clean from outside attacks (as well as inside ones).

User-friendly
Not only is security important. User friendliness is also of great importance. You have nothing to gain from a programming language that is difficult to understand. You want to keep the threshold as low as possible for new developers.

Interoperable
This is perhaps the most important benefit of Glow. Currently, it is not possible to use the benefits of one blockchain on another blockchain. You can't use the benefits of Ethereum if you have bitcoin. So for this you have to have Ethereum. The fact that each blockchain is slightly different, ensures that Dapps built on one blockchain cannot be exported to another blockchain easily. Glow ensures that Dapps are interoperable, which is incredibly innovative.

Features of Glow

• Domain Specific - the Glow programming language is purely about how participants interact with each other and the blockchain;
• Pure Typed Functional Programming Core - the core of the language has been chosen so that there is the most direct match possible between our basic computational fragment and formal logic. This allows machines and humans to reason easily;
• Partial Functions - This partiality allows developers to express arbitrary computations, as well as validate or reject computations provided by untrusted others;
• Multi-Party Computation - Glow explicitly supports a notion of multiple participants, who do not trust each other;
• Consensual Asset Control - Consensus controls assets;
• Asynchronous Communication - Participants exchange messages, but also send messages to the consensus. Communication occurs asynchronously over a planetary network, so simultaneity cannot be guaranteed;
• Transactions - Messages among participants can be accepted or rejected, depending on whether they are valid in the context of the interaction;
• Logical Reasoning - Glow directly supports specifying and automatically proving logical theorems about programs;
• Game-Theoretic Safety - Unlike other languages and formal verification systems, we do not assume that all participants cooperate with the protocol;
• Layered Architecture - Glow is layered in many language levels, with each level having its own characteristics.

Want to read more, please find the whitepaper here!