A pure functional programming language

• Small and easy to learn
• Strong static typing with inference
• First-class functions and expressions, referential transparency
• Custom types, recursion, modules, generics...
• Modules, imports and package manager

validatorhello_world{spend(datum, redeemer, input, self){expectSome(Datum{ owner})= datumlet must_say_hello=      redeemer=="Hello, World!"let must_be_signed=      list.has(self.extra_signatories, owner)    must_say_hello?&& must_be_signed?}}

A modern development environment

• Zero configuration, one single capable tool
• Quick and friendly feedback with helpful error diagnotics
• Language-Server Protocol (LSP) with auto-formatting
• Easy-to-produce and beautiful libraries documentation
• Editors integration (VSCode, NeoVim, Emacs, Zed...)
• Tree-sitter support

Error:err::aiken::check::unknown_record_field× While trying to make sense of your code...╰─▶ I looked for the field'extra_signatures' in a record    of type'Transaction' but didn't find it.   ╭─[examples/hello_world/validators/hello_world.ak:18:1]18 │   let must_be_signed =19 │     list.has(20 │       context.transaction.extra_signatures,   ·────────────────────────────────────21 │       datum.owner22 │     )   ╰─────────────────────────────────────────────────────help:Did you mean'extra_signatories'?

A toolkit for working with Plutus

• Baked-in unit test framework
• Property test framework with integrated shrinking
• UPLC type reification into Aiken types
• Full-blown Plutus interpreter & disassembler
• Execution cost evaluation with trace reporting
• Low-level scripts arguments injection

Compiling aiken-lang/stdlib 2.0.0Testing ...    ┍━aiken/option ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━    │PASS [mem:   5099,cpu:   1884852]or_else_1    │PASS [mem:   5963,cpu:   3091855]map_1    │PASS [mem:  11985,cpu:   5076974]map_2    │PASS [mem:   6863,cpu:   3298855]and_then_1    │PASS [mem:  14187,cpu:   5872937]and_then_2    │PASS [mem:  11657,cpu:   4918544]and_then_3    ┕━━━━━━━━━━━━━━13 tests |13 passed |0 failedSummary 0 error, 0 warning(s)