Не удалось вывести (класс типов а0), вытекающее из использования «переменной»

Question

У меня есть тип:

type DifferentiableFunction n a = (Function n a, List n (Function n a), String) 

В другом месте я определяю:

data Something where 
    Operator :: Something -> (forall a . Floating a => DifferentiableFunction n a) -> Something 

Теперь я пытаюсь сопоставления с образцом:

case something of 
    (Operator s f) -> let (_, _, l) = f in l 

Я получаю Could not deduce (Floating a0) arising from a use of ‘f’. Я не понимаю, почему это происходит.

Answer 1

Проблема заключается в том, что let (_, _. l) = f in l не определяет, какой тип использовать для f: это может быть DifferentiableFunction n Double или DifferentiableFunction n Float или что-то совсем другое. Потому что вы используете только часть, которая не зависит от a (l - это всего лишь String, независимо от того, что a есть), компилятор не может решить, какой тип f должен иметь (a является двусмысленным, т.е. компилятор не знает, что выберите для a).

Решение поэтому дать явную сигнатуру типа для F:

case something of 
    (Operator s f) -> let (_, _, l) = (f :: DifferentiableFunction n Double) in l 

Или же, приподнять String из FORALL:

type DifferentiableFunction n a = (Function n a, List n (Function n a)) 
data Something where 
    Operator :: Something -> (forall a . Floating a => DifferentiableFunction n a) -> String -> Something -- String is not inside the `forall a.` 

Теперь вы можете получить String без необходимости выбрать конкретный a, потому что он действительно не зависит от a.