effortless smart contracts
Why?
State of the Cardano Developer Ecosystem 2022
The Haskell Plutus Platform
the good
the bad
- Functional programming stack
- Strongly & statically typed
- Formally verified compiler
- Plutus Pioneer Program
- Cumbersome debugging
- Hard to test & benchmark
- Difficult and fragile setup
- Steep learning curve
the ugly
- Confusing semantic
- Haskell everywhere
- Performance bottlenecks
What is AIKEN ?
A pure functional programming language
- Small and easy to learn
- Strong static typing
- First-class functions, custom-types, modules
A modern development environment
- Zero configuration, one single capable tool
- Quick and friendly feedback
- Language-Server Protocol (LSP)
- Beautiful libraries documentation
- Editors integration (VSCode + NeoVim)
A toolkit
- Baked-in unit test framework
- Optimized for on-chain execution
- Plutus interpreter & disassembler
- Execution & traces reports
- Low-level scripts manipulation
A truly Open Source project
A truly Open Source project
Documentation
Tutorials
Examples
play.aiken-lang.org
Mission achieved?
Mission achieved?
Playground
Code generation for off-chain
Audits & formalisation
Property-based testing framework
Static analysis & assistant