clarity-repl

Clarity is a decidable smart contract language that optimizes for predictability and security, designed by Blockstack. Smart contracts allow developers to encode essential business logic on a blockchain.

A programming language is decidable if you can know, with certainty, from the code itself what the program will do. Clarity is intentionally Turing incomplete as it avoids Turing complexity. This allows for complete static analysis of the entire call graph of a given smart contract. Further, our support for types and type checker can eliminate whole classes of bugs like unintended casts, reentrancy bugs, and reads of uninitialized values.

A read–eval–print loop (REPL), also termed an interactive toplevel or language shell, is a simple, interactive computer programming environment that takes single user inputs (i.e., single expressions), evaluates (executes) them, and returns the result to the user; a program written in a REPL environment is executed piecewise.

screenshot

Quick Start

Building from cargo

bash cargo install clarity-repl

Building the CLI from source

The first step is to ensure that you have Rust and the support software installed.

bash curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

From there, you can clone this repository:

```bash git clone https://github.com/lgalabru/clarity-repl.git

cd clarity-repl ```

Then build and install:

bash cargo install --bin clarity-repl --path .

You can then run the REPL with the command:

bash clarity-repl

Building the WASM library

bash cargo install wasm-pack wasm-pack build --target web --release -- --no-default-features --features wasm

Initial feature set

Additional desired features (not exhaustive, not prioritized)