在本次挑战中，你需要定义一个 Chainable 接口，它包含 option(key, value) 和 get 两个方法。在 option 方法中，你需要使用给定的 key 和 value 扩展当前 config 对象的类型，通过 get 方法来获取最终结果。
假设 key 仅接受字符串，而 value 可以是任何值。
interface Chainable = {}
declare const config: Chainable
const result = config
.option('name', 'semlinker')
.option('age', 30)
.option('email', { value: 'semlinker@gmail.com' })
.get()
// expect the type of result to be:
interface Result {
name: string
age: number
email: {
value: string
}
}Solution
首先我们根据类型挑战的要求，来定义一个基础的 Chainable 接口。option 方法返回 Chainable 类型以支持链式调用。
interface Chainable {
option(key: string, value: any): Chainable
get(): Chainable
}有了上述的接口之后，TypeScript 编译器会推断出 result 的类型是 Chainable 类型。很明显这并不符合要求。其实，result 的最终类型，是由用户的使用方式来决定的，所以我们也无法明确 result 的类型。这时，我们可以定义一个泛型变量 T 来表示 get 方法返回的类型。
interface Chainable {
option(key: string, value: any): Chainable
get(): T
} 因为 get 方法最终返回的是对象类型，因此我们使用 TypeScript 泛型约束来约束泛型变量的类型，同时为该泛型变量设置一个默认值：
interface Chainable {
option(key: string, value: any): Chainable
get(): T
} 使用了新的 Chainable 接口之后，result 的类型返回的是 {} 类型，还不满足类型挑战的要求。接下来，我们从简单的代码入手，来分析如何继续完善 Chainable 接口的代码：
declare const config: Chainable
const result = config
.option('name', 'semlinker')
.get()对于以上代码，我们希望 TypeScript 编译器能推断出 result 的类型是 { name: string } 类型。因此，我们需要获取 option 方法中 key 和 value 的类型。因为 option 方法中的 key 和 value 是由用户动态设置的，我们也无法提前知道它们的类型，所以我们再次定义两个泛型变量 Key 和 Value 来表示它们的类型。因为类型挑战中，要求 key 的类型是字符串类型，所以我们使用泛型约束来约束泛型变量 Key 的类型。
interface Chainable {
option(key: Key, value: Value): Chainable
get(): T
} 定义了 Key 和 Value 泛型变量之后，我们就可以更新 option 方法的返回值类型：
interface Chainable {
option(key: Key, value: Value):
Chainable
get(): T
} 更新完 Chainable 接口后，你会发现 TypeScript 编译器推断出 result 的类型如下：
const result: {
Key: string;
}很明显这还是不能满足类型挑战的要求，那么如何解决上述的问题呢？这时，你可以利用 TypeScript 映射类型。如果你对 TypeScript 映射类型不熟悉的话，可以阅读这篇文章。
interface Chainable {
option(key: Key, value: Value):
Chainable
get(): T
} 之后，TypeScript 编译器就能正常推断出 result 对象的类型了：
const result: {
name: string;
}当然，你也可以使用 TypeScript 内置的 Record 工具类型来实现同样的功能：
interface Chainable {
option(key: Key, value: Value):
Chainable>
get(): T
} 
