보물 상자

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 제네릭 사용자 정의 타입을 정의해요

variant가 하나뿐인 TreasureChest 사용자 정의 타입을 정의해요.

이 variant에는 연관된 String 값이 있어야 하는데, 이 값은 보물 상자의 비밀번호를 저장하는 데 써요.

또한 이 variant에는 연관된 제네릭 값도 있어야 하는데, 이 값은 보물을 저장하는 데 써요. 보물이 무엇이든 될 수 있도록 이 값은 제네릭이에요.

2. UnlockResult 타입을 정의해요

variant가 두 개인 UnlockResult 사용자 정의 타입을 정의해요.

첫 번째 variant는 Unlocked이고, 보물을 저장하는 데 쓸 제네릭 값을 담아야 해요.

두 번째 variant는 WrongPassword이고, 아무 값도 담지 않아요.

3. get_treasure 함수를 정의해요

이 함수는 매개변수 두 개를 받아요.

• TreasureChest 제네릭 사용자 정의 타입
• String (비밀번호를 시도해 볼 때 써요)

이 함수는 주어진 비밀번호 시도가 TreasureChest 안의 String과 일치하는지 확인해요.

함수는 UnlockResult를 반환해요.

비밀번호가 일치하면 TreasureChest의 제네릭 값(바로 보물이에요!)과 함께 Unlocked를 반환해요.

비밀번호가 일치하지 않으면 WrongPassword를 반환해요.