Haskell中使用提升数据构造器作为phantom参数的优势对比

两种实现的核心差异 #

1. 实体类型的统一性 #

第二种实现里User Admin和User ()是完全独立的两种类型，你无法把普通用户和管理员用户放到同一个列表、集合里做批量处理（比如查询所有用户名、统计用户总数），除非引入复杂度极高的异构列表方案，对普通业务场景完全不友好。
而第一种实现的所有用户都是同一个User类型，不管有没有管理员权限，都可以统一存储、批量处理，和普通业务逻辑的适配性极强。

2. 权限判定的时机支持 #

第二种实现的权限是编译期静态绑定的，代码写完就确定了某个用户的权限等级，完全无法适配运行时才知道权限的场景：比如用户登录时从数据库读取权限等级、后台动态修改用户权限这类常见需求，你根本没法把运行时得到的权限信息同步到User的类型参数上。
第一种实现的Proxy 'Admin令牌是存放在值层面的Maybe结构里，完全可以在运行时动态生成：登录校验通过后如果是管理员就赋值Just Proxy，普通用户赋值Nothing，后续调用敏感接口时的权限校验依然是编译期保证的——没有合法令牌根本传不进doSensitiveThings，兼顾了静态校验的安全性和运行时的灵活性。

3. 权限和实体的耦合度 #

第二种实现的权限和User类型强绑定，如果你有其他角色也需要调用doSensitiveThings（比如后台服务的系统账号），还得额外给doSensitiveThings写重载，或者构造不必要的User Admin对象，接口复用性很差。
第一种实现的doSensitiveThings只要求传入Proxy 'Admin令牌，和User类型完全解耦，只要能提供合法令牌的主体都可以调用，接口通用性高得多。

4. 权限变更的灵活性 #

第二种实现的权限和用户类型绑定死了，没法实现临时授权、权限过期这类需求：你总不能运行时改用户的类型吧。
第一种实现可以随时动态修改userAdminToken字段的值，实现临时授权、权限吊销、过期自动失效等功能，灵活性完全符合真实业务的需求。

前者的适用场景和核心优势 #

适用场景 #

• 需要统一存储、批量处理不同权限等级的用户
• 权限需要在运行时判定或动态变更（登录查权、临时授权、权限过期等）
• 敏感操作接口需要支持多种主体调用，不希望和特定实体类型绑定

核心优势 #

在保留编译期权限校验的安全性的前提下，完全规避了静态phantom类型参数带来的类型割裂问题，兼顾了运行时的灵活性、数据的统一性和接口的通用性，能直接落地到绝大多数真实业务场景中，而第二种实现仅能用于权限完全静态、不需要统一处理不同权限用户的极小范围场景。

内容的提问来源于stack exchange，提问作者mhwombat