Я пытаюсь написать свой собственный алгоритм вывода типов для игрушечного языка, но я упираюсь в стену — я думаю, что алгоритм W можно использовать только для чрезмерно общих типов. Вот выражения: Expr ::= EAbs String Expr | EApp Expr...

Я новичок в Haskell и Stackoverflow, и вот мой первый и, вероятно, довольно простой вопрос о Haskell. module M where import Data.HList data R r a r1 = undefined :: R a Int r2 = undefined :: R a Double rPair :: R r a -> R r b -> (R r a,...