1. Clarity语言
Clarity语言为由Blockstack 和 Algorand 团队主导开发的智能合约语言，Clarity具有如下属性：
- decidable：所见即所得，看到代码即可确定其运行结果。Clarity本身是图灵不完备的，因此可避免图灵复杂性。支持complete static analysis of the entire call graph of a given smart contract。
- interpreted：不需要编译。将源码发布到区块链节点即可执行。去除了中间介质（如Solidity的EVM byte code），可减少潜在bug数量。
Clarity合约示例为： 
Reach为面向DApp开发的领域特定语言，由Algorand团队主导开发。 可实现：
- Reach raises the level of abstraction to allow developers to code at the level of business logic allowing them to develop applications in a fraction of the time.
- Reach outputs the entire protocol level of the DApp so one need not worry about building both the smart contract and the client endpoints.
- Reach automatically mathematically guarantees protection against entire categories of potential bugs, and allows for a developer to insert inline custom assertions that would have otherwise taken a highly-skilled consultant many hours to replicate.
- Developers no longer need to worry about proprietary coding requirements of the individual protocols. They can write their application once and launch it on a chain that best fits their needs. This benefits the developer mindshare because it will allow more developers to more readily collaborate no matter the protocol of their choice.
[1] Reach - The Easiest and Safest way to Build DApps [2] Introducing Clarity, a language for predictable smart contracts [3] clarity-lang [4] Clarity Language
