宝箱

pub type Box(a) {
  Box(a)
}

Box("Hello, Joe!") // The type is Box(String)

Box(42) // The type is Box(Int)

pub type Pair(a, b) {
  Pair(a, b)
}

pub fn twice(value: a, f: fn(a) -> b) -> b {
  f(value)
  f(value)
}

// The type is fn(String, fn(String) -> Nil) -> Nil
twice("Hello, Joe!", io.println)

说明

在这个练习中，你将编写一个泛型（也可以说是充满魔法！）TreasureChest，用来存放宝藏。

1. 定义 TreasureChest 泛型自定义类型

定义一个只有单个变体的TreasureChest自定义类型。

该变体应带有一个关联的String值，用来存放宝箱的密码。

该变体还应带有一个关联的泛型值，用来存放宝藏。 这个值是泛型的，因此宝藏可以是任何东西。

2. 定义 UnlockResult 类型

定义一个UnlockResult自定义类型，它有两个变体。

第一个变体是Unlocked，应持有一个泛型值，用来存放宝藏。

第二个变体是WrongPassword，它不持有任何值。

3. 定义 get_treasure 函数

这个函数应接收两个参数：

• 一个TreasureChest泛型自定义类型
• 一个String（用于尝试输入密码）

这个函数应将传入的密码尝试与TreasureChest中的String进行比对。

这个函数应返回一个UnlockResult。

如果密码匹配，就返回Unlocked，并带上TreasureChest中的泛型值（也就是宝藏！）。

如果密码不匹配，就返回WrongPassword。