`coerce`和类型变量的实例

Question

考虑以下GHCI会议：

>:set -XTypeApplications 
>import Data.Map.Strict 
>import GHC.Exts 
>newtype MySet a = MySet (Map a()) 
>let member' :: Ord a => a -> MySet a -> Bool; member' = coerce member 

<interactive>:21:57: error: 
    * Couldn't match representation of type `a0' with that of `()' 
     arising from a use of `coerce' 
    * In the expression: coerce member 
     In an equation for member': member' = coerce member 
>let member' :: Ord a => a -> MySet a -> Bool; member' = coerce (member @_ @()) 

我怎么在这里上的一种预感：类型检查程序需要满足Coercible (Ord a => a -> Map a b -> Bool) (Ord a => a -> MySet a -> Bool)，不能够实例b在这个约束到()。

有没有比-XTypeApplications更优雅的方式做到这一点？

编辑：我特别寻找解决方案，处理MySet a的类型，例如union :: Ord a => MySet a -> MySet a -> MySet a许多发生。

Answer 1

member :: Ord a => a -> Map a b -> Bool 
member' :: Ord a => a -> MySet a -> Bool 

GHC需要接受

Coercible (Map a b) (MySet a) 

它看到

Coercible (MySet a) (Map a()) 

留下它需要

Coercible (Map a()) (Map a b) 

导致

Coercible() b 

但什么是b？它含糊不清。在这种情况下，b是什么并不重要，因为通过参数性，member不可能关心。因此，选择b ~()并轻松解决胁迫是完全合理的。但GHC一般不会在类型推断中执行这样的参数分析。我怀疑改变它可能会很棘手。最特别的是，任何时候类型推断“猜测”，都有可能猜测错误的风险，并在其他地方阻止推理。这是一大堆蠕虫。

至于你的问题，我没有一个好的解决方案。当你有几个相似模式的函数时，你可以将它们抽象出来，但是你仍然会面临很大的烦恼。

Answer 2

TypeApplications与该解决方案是相当简单：

{-# LANGUAGE TypeApplications #-} 

import Data.Coerce 
import qualified Data.Map as M 

newtype Set a = Set (M.Map a()) 

member :: Ord a => a -> Set a -> Bool 
member = coerce (M.member @_ @()) 

union :: Ord a => Set a -> Set a -> Set a 
union = coerce (M.union @_ @()) 

注意，某些功能将需要更多或更少的通配符，例如

smap :: (Ord b) => (a -> b) -> Set a -> Set b 
smap = coerce (M.mapKeys @_ @_ @()) 

要确定您必须究竟是如何指定类型的应用程序（除了试验和错误），使用

>:set -fprint-explicit-foralls 
>:i M.mapKeys 
M.mapKeys :: 
    forall k2 k1 a. Ord k2 => (k1 -> k2) -> M.Map k1 a -> M.Map k2 a 

你:i得到变量顺序是TypeApplications使用的相同。

请注意，您不能使用fromListcoerce - 这不是一种限制，它只是没有任何意义：

fromList :: Ord a => [a] -> Set a 
fromList = coerce (M.fromList @_ @()) 

这给了错误

* Couldn't match representation of type `a' with that of `(a,())' 

最好你可以在这里做的可能是

fromList :: Ord a => [a] -> Set a 
fromList = coerce (M.fromList @_ @()) . map (flip (,)())