Есть некая функция: f :: [A] -> B f [] = ... f (sort -> xs@(least:_)) = ... Компилятор видит неполный паттерн и даёт warning, хотя человеку ясно, что сортировка непустого спи...
Вообще, странно было бы ожидать другого поведения от tan: оно во всех языках такое (разве что где-то используются символьные вычисления, тогда можно вывести, что tan pi == 0)....
Здравствуйте! У меня возник "детский" вопрос. Почему при декларации f xs = mapM_ print xs тип (Foldable t, Show a) => t a -> IO () выводится, а при g = mapM_ print нет? При э...