当前位置：文江博客话题详情

为什么不能将类型签名放在 Haskell 的实例声明中？

发布于 2024-12-19 14:07:14 字数 124 浏览 4 评论 0原文

我喜欢在代码中为所有顶级定义添加类型签名。然而，实例声明中的类型签名似乎是不允许的，如果我放了一个，我会从 GHC 收到“类型签名错误”错误。为什么会这样呢？为什么 GHC 不能检查类型签名是否与其预期相同，如果不同则拒绝（或警告）？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

鹿港巷口少年归 2024-12-26 14:07:14

您可以使用[新] -XInstanceSigs，这对于将类型变量引入作用域特别有用。您可以在中找到更多信息官方文档。

回复收藏 0 原文

待＂谢繁草 2024-12-26 14:07:14

这里的大多数其他答案都很旧......现在有一个语言扩展：

将以下内容粘贴在文件顶部：

{-# Language InstanceSigs #-}

Most of the other answers here are pretty old... there's now a language extension:

stick the following at the top of your file:

{-# Language InstanceSigs #-}

回复收藏 0 原文

想你的星星会说话 2024-12-26 14:07:14

如果您确实需要类型声明，则可以在实例主体之外单独创建函数。

class Class a where
    f1 :: a -> a

instance Class Foo where
    f1 = foo_f1

--monomorphic version of f1 for Foo:
foo_f1 :: Foo -> Foo
foo_f1 = ...

You can create the functions separately, outside the instance body, if you really want the type declarations.

class Class a where
    f1 :: a -> a

instance Class Foo where
    f1 = foo_f1

--monomorphic version of f1 for Foo:
foo_f1 :: Foo -> Foo
foo_f1 = ...

回复收藏 0 原文

因为看清所以看轻 2024-12-26 14:07:14

由于签名是类定义的一部分，因此实例声明中的类型签名将是重复的签名。我认为原则上允许重复签名没有问题，但一般允许没有什么好处，而且禁止更简单。因此，语言定义表明每个实体最多可以有一个类型签名。在实例声明中允许签名的功能还没有被太多要求，因此没有扩展允许它。如果您确实想要这样做，可以在 GHC trac< 上提出功能请求/a>.如果它得到足够的兴趣，它可能会被实施（但我预计需求不会很高）。

回复收藏 0 原文

待天淡蓝洁白时 2024-12-26 14:07:14

无论如何，该类型都是冗余的，人们通常希望避免冗余。
在 Frege 中，仍然允许为实例成员编写类型签名。它们被检查然后扔掉。当然，立即禁止它们会更容易。

回复收藏 0 原文

对你的占有欲 2024-12-26 14:07:14

自GHC 9.2.1。

这是从支持 GHC2021< 的 GHC 9.2.1 开始的/a>，默认启用一些扩展，其中 InstanceSigs 扩展。

以下是文档中的示例：

instance Eq a => Eq (T a) where
   (==) :: forall b. b -> b -> Bool
   (==) x y = True

请注意，在大多数情况下，实例中的类型签名是多余的。文档提到了添加它们的这些可能的动机：

使用类型检查器来确认推断的类型与程序员期望的相匹配（这是用户发布原始问题给出的动机）
作为记录代码的一种方式
将作用域类型变量引入作用域

关于 Haskell 中实例声明中允许类型签名的历史

此功能起源于 StackOverflow 问题。

发布该问题的用户创建了一个问题单，就像他在 2011 年提出问题一样。第二天，Dan Burton 还创建了一个工单，第一个工单作为重复项被关闭。又一天后，Simon Peyton Jones插话< /a> 并提到他自己也想要这种可能性。他在同一天勾勒出实施方案，并在 7 天后提交之后。该扩展已添加到 GHC 7.6 中。它在 2021 年 10 月发布的 GHC 9.2.1 中默认启用。

注意：PureScript 2017 年添加了该扩展。

Allowing type signatures in instance declarations is enabled by default since GHC 9.2.1.

This follows from GHC 9.2.1 supporting GHC2021, which enables some extensions by default, among these the InstanceSigs extension.

Here's an example from the documentation:

instance Eq a => Eq (T a) where
   (==) :: forall b. b -> b -> Bool
   (==) x y = True

Note that type signatures in instances are redundant in most cases. The documentation mentions these possible motivations for adding them:

using the type checker to confirm that the inferred type matches what the programmer expects (this is the motivation the user posting the original question gives)
as a way to document the code
bringing scoped type variables into scope

On the history of allowing type signatures in instance declarations in Haskell

This feature has its origins in this StackOverflow question.

The user posting the question created an issue ticket the same he asked the question in 2011. The day after, Dan Burton also created a ticket, and the first ticket was closed as a duplicate. Another day later Simon Peyton Jones chimed in and mentioned him having wanted this possibility himself. He sketched out the implementation the same day and made the commit seven days later. The extension was added to GHC 7.6. It was enabled by default in GHC 9.2.1, which was released in October 2021.

Note: PureScript added the extension in 2017.

回复收藏 0 原文

~没有更多了~