2025年4月11日
Free Theorem 自由定理
摘要： Free Theorem 自由定理 理论 参数多态性 参数多态性: 多态函数的行为对类型变量代表的所有类型一致, 不能依赖具体类型 自由定理 自由定理: 通过函数类型中的类型变量, 可以推导出函数必须满足的等式或行为 Haskell 限制 理想化数学模型中, 自由定理基于纯函数假设, 故严格成立 但 阅读全文
posted @ 2025-04-11 11:03 (.)$(.) 阅读(14) 评论(0) 推荐(0)