Andrei

А как по-русски обычно называют statement из грамматики языка?

Работает ли визаран? Могут ли не пустить в Армению, если я в этом году суммарно находился больше 180 дней?

Формулы = термы? Функции = термы с типом a -> b?

все функции чистые кроме всяких unsafePerformIO?

Я дико извиняюсь, но с чем это может быть связано? $ ghc -o test test.hc test.hc:1:1: error: warning: data definition has no type or storage class main = putStrLn ...

Пусть у меня есть функция f :: a -> b -> c -> ... -> d и g :: d -> e Есть ли какой-то простой способ получить "композицию" f и g типа a -> b -> c -> ... -> e кроме лямбды с ук...

которая id? не, мне хочется, чтобы мы могли сами указать эту функцию. Если можно, то поле такого типа это тоже самое, что метод в ООП-языках.

Господа, я вот прошел обе части курса Haskell на степике. Интерес к языку остался, хотелось бы как расширить, так и углубить знания. Что посоветуете?

ну ок, пусть неформально а что за свойства-то?

А что за книга, кстати?

иными словами, этот тип — инстанс соответсвующего тайпкласса?

хм, звучит справедливо а изоморфизм типов это что формально?

а можно сделать тип, состоящий из ровно одной функции?