如何在 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

How do I specify default values in DAML for primitive types and records?