canton-daml-fundamentals
Installation
SKILL.md
Canton Daml Fundamentals
Overview
Daml is a functional, statically-typed smart-contract language in the Haskell/ML family, built for multi-party workflows on Canton. You don't need deep functional-programming background to start, but a few core ideas recur everywhere: types, records, and action monads (Update, Script).
Built-in types you'll use constantly
| Type | Meaning |
|---|---|
Party |
On-ledger identity (name::fingerprint) |
Text |
UTF-8 string |
Int |
64-bit integer |
Decimal / Numeric n |
Fixed-precision decimal (money) |
Bool |
True / False |
Time, Date, RelTime |
Timestamps and durations |
ContractId a |
Reference to an active contract of template a |
Optional a |
Some x or None |
[a] |
List of a |
(a, b) |
Tuple |