代数数据类型 问答列表

为什么使用模式匹配构造的函数具有 Eq 类型约束，而在使用数据构造函数时则没有？

作者：Rick Majpruz 提问时间：10/25/2017

为什么 ghci 在我通过模式匹配构造的此函数的类型签名中列出了相等类型约束：matchInt $ ghci GHCi, version 8.2.1: http://www.haskell.org/...

共1条 当前第1页