Clarity Language for Smart Contracts

Brought to my attention as a part of a continuing look at smart contracts for supply chain and related analytic systems.

Clarity Language for Smart Contracts

Clarity Language
Clarity is a new language for smart contracts. Clarity is a decidable language, meaning you can know, with certainty, from the code itself what the program will do. Clarity is interpreted (not compiled) and the source code is published on the blockchain. Clarity gives developers a safe way to build complex smart contracts. The Clarity open-source project is supported by Blockstack and Algorand. .... 

The future of Smart Contracts
Clarity recognizes the need for smart contract languages that are more safe, secure, and predictable. Our goal is to help the smart contract industry mature beyond its current state. Clarity is designed by scientists from Princeton and MIT, and the open-source project is initially supported by Blockstack and Algorand. We welcome other projects and developers to join this effort and help contribute! .... '

In Github: https://github.com/clarity-lang  .... 

Algorand and Blockstack join to adopt Clarity blockchain smart contract language  By Kyt Dotson in SIliconAngle

Two blockchain industry leaders, Algorand Inc. and Blockstack PBC, today announced an independent open-source project to support Clarity, the blockchain distributed ledger smart contract language.

A smart contract is a programmable agreement that automates actions based on the completion of agreed-upon terms between multiple parties that have been encoded. The code of the smart contract and the agreements made exist within a blockchain, which acts as a tamperproof record of the contract, as well as assets under contract, which could be money, property, shares or anything else of value that can be represented digitally.   .... '