寶箱

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。

如果密碼相符，就回傳帶有TreasureChest中泛型值（也就是寶藏！）的Unlocked。

如果密碼不相符，就回傳WrongPassword。