Как указать значения по умолчанию в DAML для примитивных типов и записей?

Question

Я не вижу способа указать значение по умолчанию в DAML. Скажем, я хочу указать False в качестве значения по умолчанию для Bool или время сейчас в качестве значения по умолчанию для переменной типа Time. Как мне это сделать?

Answer 1

DAML не предоставляет способ указать значения по умолчанию. Однако вы можете создавать функции, которые устанавливают значения по умолчанию, например, допустим, у вас есть шаблон T:

template T 
  with
    p : Party
    value : Int
  where
    signatory p

Теперь вы можете определить функцию createT, которая установит value в 42:

createT : Party -> T
createT p = T with
  p = p
  value = 42

Затем вы можете переопределить значение по умолчанию, используя with -синтаксис, например

(createT alice) with value = 43