Type System Reference¶

String      // Text
Int         // 64-bit integer
Float       // 64-bit floating point
Boolean     // true or false
Timestamp   // Point in time
Date        // Calendar date
Time        // Time of day

type UserId = String
type Email = String
type Money = Decimal

List[T]           // Ordered collection
Set[T]            // Unique elements
Map[K, V]         // Key-value pairs

Option[T]         // Some(value) or None

match optionalValue {
  Some(v) => useValue(v)
  None => defaultValue()
}

Result[T, E]      // Ok(value) or Err(error)

match result {
  Ok(v) => process(v)
  Err(e) => handleError(e)
}

enum Status {
  Active
  Inactive
}

variant PaymentMethod {
  CreditCard { number: String, cvv: String }
  PayPal { email: Email }
  BankTransfer { iban: String }
}

let x = 42              // Inferred: Int
let list = [1, 2, 3]    // Inferred: List[Int]

function max<T: Comparable>(a: T, b: T) -> T {
  if a > b { a } else { b }
}

type UserId = String
type UserMap = Map[UserId, User]