2025年4月23日
Haskell 类型推断
摘要： Haskell 类型推断 理论 类型推断 编译阶段推断类型, 推断规则: \[\frac{\text{f\ ::\ A -> B\quad\ e\ ::\ A}}{f \ \ e\ ::\ B} \]基础类型由类型声明得到 其他类型由算法推断得到 Ambiguous Type Ambiguous T 阅读全文
posted @ 2025-04-23 19:22 (.)$(.) 阅读(5) 评论(0) 推荐(0)