haskell - FlexibleContexts 扩展有什么用？你能用一个简单的例子解释一下吗？

Question

我试图通过搜索可以向普通人解释它的网页(例如，像我一样读过 LYHFGG 的人)来了解 FlexibleContexts 扩展在做什么，但我没有找到任何这样的资源。

因此我问这个话题的专家:你能解释一下这个扩展的作用，它为什么存在，并给出一两个简单的例子，如何以及为什么应该使用它？

此外 , 如果我正在阅读别人的代码 which使用这个扩展，那么为了理解使用这个扩展编写的代码，我应该知道什么关于扩展？

Answer 1

没有 FlexibleContexts函数定义上的所有类型类约束都必须具有类型变量。例如:

add :: Num a => a -> a -> a 
add = (+)

在哪里 a是类型变量。与 FlexibleContexts启用您可以在类型类中拥有任何类型。

intAdd :: Num Int => Int -> Int -> Int 
intAdd = (+)

这个例子很做作，但它是我能想到的最简单的。 FlexibleContexts通常只与 MultiParamTypeClasses 一起使用.这是一个例子:

class Shower a b where
  myShow :: a -> b

doSomething :: Shower a String => a -> String
doSomething = myShow

在这里你可以看到我们说我们只想要一个 Shower a String .没有 FlexibleContexts String必须是类型变量而不是具体类型。