так до сих пор и не узнал ответа. Почему нельзя определять одну и ту же функцию с разным количеством аргументов? Конечно при условии, что типы совпадают.
не могут совпадать типы у разного количества сущностей
class MyFun a where myFun :: a instance MyFun (Int -> Int) where myFun x = x + 1 instance MyFun (Int -> Int -> Int) where myFun a b = a + b a, b :: Int a = myFun 1 b = myFun 1 2
Обсуждают сегодня