Спасибо, почитаю. Хотя понятнее не стало, что такое "is not defined" и кем оно не defined - не понятно. Я так понимаю конструкторы те же лямбды, раз он не упоминает их.

нет, я думаю он просто опустил их, потому что там тред про лямбды был

Есть какие-нибудь техники, модули для тестирования? Просто иногда напишу функцию, она не работает, но если императивщину можно по шагам отладить, то жирную хаскель-функцию фиг. Модуль для тестирования желательно для новичков. Еще вопрос кто как пишет функции? Я например сначала пишу функцию в реальных значениях, постепенно заменяя data value на код и на функции, тяжело с разгону в голове абстракции выстроить. Еще из забавного заметил что в ФП пытаюсь старыми императивными методами думать. Например, в императивщине же все переменные, поэтому в ФП постоянно клонит к аккумуляторам.

QuickCheck?

Спасиба

HUnit, Hspec, tasty

Отлаживать можно через Debug.Trace.trace

blabla (trace ("x=" ++ show x) x)

Такие вот отладочные принты

можно еще удобнее имхо, я так делаю

blabla x
->
blabla (traceShow ("x", x) x)

+ hedgehog для пропертей

Но это всё надо уметь готовить

разбить жирную функцию на логические части

дополню, что они в странном (для человека с императивным опытом) могут выводиться, надо не испугаться

для чистого кода есть аналог отладочных вотчей — перевычислять определённую функцию с конкретными аргументами при сохранении. есть в ghcid -a, наверно, в редакторах плагины есть для этого

кажется, этот вопрос пора уносить в FAQ

и/или в статью на ruhaskell.org

Не могу понять что тут происходит
let f x y = traceShow (x,y) (x + y) in f (1+2) 5

вызывается функция f с аргументами (1 + 2) и 5, где
f - функция от двух аргументов, она возвращает сумму аргументов, выводит кортеж из аргументов в консоль (для дебага)

я в типах разобраться не могу. Я правильно понимаю что f определяется как let f = traceShow in f, т.е. f это функция, фактически синоним traceShow?

нет, там же другие аргументы