，只有发生在断言

绑定类型变量我发现很难形容我的问题，所以在这里不用什么：，只有发生在断言

我有一个函数的类型一堆断言。这些断言依赖于不用于函数的任何参数的类型变量，但仅用于内部绑定。每当我使用这个函数时，它都不会编译，因为当然，编译器没有任何信息可以猜出绑定我的类型变量的类型。下面是代码：

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, 
    UndecidableInstances, FlexibleContexts, EmptyDataDecls, ScopedTypeVariables, 
    TypeOperators, TypeSynonymInstances #-} 

class C a a' where convert :: a -> a' 
class F a b where apply :: a -> b 
class S s a where select :: s -> a 

data CInt = CInt Int 

instance S (Int,String) Int where select (i,_) = i 
instance F Int CInt where apply = CInt 

f :: forall s a b . (S s a, F a b) => s -> b 
f s = 
    let v = select s :: a 
     y = apply v :: b 
    in y 

x :: Int 
x = f (10,"Pippo")

这里是产生错误：

FunctorsProblems.hs:21:4: 
    No instances for (F a Int, S (t, [Char]) a) 
     arising from a use of `f' at FunctorsProblems.hs:21:4-17 
    Possible fix: 
     add an instance declaration for (F a Int, S (t, [Char]) a) 
    In the expression: f (10, "Pippo") 
    In the definition of `x': x = f (10, "Pippo") 
Failed, modules loaded: none. 
Prelude>

来源

2010-03-19 Giuseppe Maggiore

是的，你说的是正确的。什么是问题？您是否在寻找对错误的解释或可能的解决方法？ – 2010-03-19 16:41:20

我希望了解我如何帮助编译器理解计算的中间类型，但我不知道如何... 所以是的，这是我寻找的解决方法！ – 2010-03-20 09:27:28

您正在尝试相交部分集合类的实例和编译器没有办法说，这个路口将为空或单个条目。
您希望强制编译器为您选择正确的类型，而不必知道该决定可以在程序中带来哪些问题（信息丢失或计算复杂性）。如果你想这样做，你应该给编译器提示什么是特定对“s”和“b”的最佳类型“a”（与我们指定的FunctionalDependencies一样）。

class E x a | x -> a 
instance (S s Int, F Int CInt) => E (s, CInt) Int 
f :: forall s a b . (E (s,b) a) => s -> b

有可能是指定优选的类型中的顺序的方式“一”为一对“s”和“B”具有最好的“a”进一步演绎（即使用类型级或东西的像的附上该信息）。

来源

2010-03-20 08:49:59 ony

，只有发生在断言

回答

相关问题