A list of cryptocurrency and smart contract projects using functional programming languages and/or principles.
Pull requests welcome!
Name ⇩ | Symbol | Programming Language |
---|---|---|
Aeternity | AE | Erlang, Elixir |
Cardano | ADA | Haskell, Scala, PureScript, Coq, Nix |
Status | SNT | Clojure/Script |
Tezos | XTZ | OCaml, Coq |
Name ⇩ | Description |
---|---|
DAML | An open-source smart contract language for building future-proof distributed applications on a safe, privacy-aware runtime. DAML is based on Haskell; it is a functional programming language that draws on many Haskell characteristics, such as strong typing, and utilizes the GHC compiler. |
Liquidity | A high-level language to program Smart Contracts for Tezos. It is a fully typed functional language, it uses the syntax of OCaml, and strictly complies with Michelson security restrictions. |
NEO Smart Contract | The NEO smart contract can be used directly by almost any high-level programming language. Among the first supported languages is F#. |
Pact | Pact is immutable, deterministic, and Turing-incomplete. Based on LISP, Pact strikes a balance between low-level directly executable expressions and high-level declarative code. |
Plutus | A strictly typed pure functional programming language used for defining smart contracts in Cardano. The syntax is fairly Haskell-like, but unlike Haskell, the language is eagerly evaluated. |
Simplicity | A typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications. |
- BCH:
1MBfARAVgiShgdhYjKnWmivyWMbp72Pjm9
- ETH:
0x8802aaa19733D451A8414e97d473767E9d2ff255
- NANO:
nano_163thh9pcxgox4fej3otqdre17q8k7sntzajitun76cfite9jc1toza8hano