依值类型是一个很有用的概念，它可以使函数的输入或者输出，根据输入的参数性质来产生变化，让强类型系统能类型安全地使用一些动态类型性质。其中一种用法是类型安全的属性列表。我是在 Ktor 和 Netty 的代码中学习到了这种用法。 例子在以前，Java 的世界里，像 ServletContext 或者一些 PropertyMap，它都是基于两个繁星参数的 Map 来作为存储表（或者说，注册表）。...