Михаил

Можно вообще написать: Person fName' lName' age'. Тогда действительно имена полей потребуются лишь в строковом виде, чтобы эти fName' и т.д. достать :-) Но разве для этого нуж...

Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...

Есть некая функция: f :: [A] -> B f [] = ... f (sort -> xs@(least:_)) = ... Компилятор видит неполный паттерн и даёт warning, хотя человеку ясно, что сортировка непустого спи...

Например, станет ли кто-то писать подобное? Nothing <> Just 0 = Nothing Nothing <> Just x = Nothing Ясно, что тут два уравнения можно заменить на одно, не касающееся Just 0 в...

Вообще, странно было бы ожидать другого поведения от tan: оно во всех языках такое (разве что где-то используются символьные вычисления, тогда можно вывести, что tan pi == 0)....

Здравствуйте! У меня возник "детский" вопрос. Почему при декларации f xs = mapM_ print xs тип (Foldable t, Show a) => t a -> IO () выводится, а при g = mapM_ print нет? При э...