В объявлении вида
f :: (T a) => String => a
T
- класс типов (typeclass), String
- тип, a
- любой тип, принадлежащий классу типов T
.
Int
, Integer
, Char
, String
- всё это типы. Классы типов обозначают начичие у типа определённых "методов" (если выражаться в терминах ООП), то есть это что-то типа интерфейсов или абстрактных классов.
Например:
class T a where
f :: a -> Int
g :: a -> Int
g x = (f x) ^ 2
Здесь мы объявляем класс типов T
такой, что для любого типа a
, принадлежащего T
, существует функция f
типа f :: a -> Int
. Также к переменной этого типа a
можно применить функцию g
, которая уже реализована. Теперь мы можем сделать уже существующий тип (пусть это будет String
) экземпляром (instance) класса T
:
instance T String where
f = length
Таким образом, для типа String
функция f
вернёт длину строки:
f "hello" -- вернёт 5
g "hello" -- вернёт (f x) ^ 2, или 25
Реализованная функция g
тоже может быть переопределена в экземпляре класса:
instance T Int where
f x = x
g x = x + x
Теперь, возвращаясь к Вашему примеру. Сигнатура функции cc
должна выглядеть так:
cc :: [String] -> String
это значит, что функция cc
принимает список строк и возвращает строку. Но вообще использовать строки чтобы представлять различные типы значений - очень плохая идея (особенно в Haskell, с его потрясающей системой типов). Обычно вместо этого используют алгебраические типы данных (sealed classes в некоторых объектно-ориентированных языках). Не знаю, какие у Вас типы значений, но приведу пример со списком разных чисел (Int
и Float
), которые надо между собой сложить (напомню что оператор (+) :: (Num a) => a -> a -> a
в Haskell принимает два числа одного типа, принадлежащего к классу типов Num
- можно сложить или целое с целым, или дробное с дробным, но целое с дробным - нельзя):
data MyNumber = MyInt Int | MyFloat Float
mySum :: [MyNumber] -> MyNumber
mySum = foldl myAdd (MyInt 0)
myAdd :: MyNumber -> MyNumber -> MyNumber
myAdd (MyInt x) (MyInt y) = MyInt $ x + y
myAdd (MyInt x) (MyFloat y) = MyFloat $ (fromIntegral x) + y
myAdd f@(MyFloat x) i@(MyInt y) = myAdd i f
myAdd (MyFloat x) (MyFloat y) = MyFloat $ x + y