Но если душа желает, можно использовать менее самопальный вариант из какой либо библиотечки отсюда, мне честно говоря было банально лень. Тем более что велосипед весьма миниатюрен ;)

По поводу дебага, основной метод которого я придерживаюсь: сделать типизацию максимально жёсткой. Мой девиз:"Ошибки должен искать компилятор".

> Айтишники, вопрос, на каком этапе работы с кодом вы выполняете тестирование (если выполняете)? Чем пользуетесь?
Test Driven Development for the win.
Тестирую код до написания кода.

Но ненаписанный код заведомо не пройдёт тестирование! Или я чего-то не понимаю?

А всё, до меня дошло как народ умудряется писать без строгой типизации... извращение однако.

Al Lastor
Принцип Red-Green-Refactor.
Напиши тест, который проваливается. Напиши код так, чтобы тест перестал проваливаться. Отрефактори код, чтобы он стал красивым.

Блин, мне это что-то напоминает.
Напиши типы на входе и на выходе которым должна удовлетворять функция, если порядок аргументов значим, перепиши тип так, чтобы его нарушение стало невозможным. Напиши функцию удовлетворяющую этому типу. Произведи обобщение предыдущего кода с учётом нового.

извращенец

Нисколько. Обычно к написанию типов(для функций), я приступаю тогда, когда не могу собрать функцию. В остальных случаях есть команда i в интерпретаторе(пусть компьютер пашет за меня и выведет типы сам). Первый этап зачастую выпадает. А типизацию более жесткой/надёжной можно сделать и после.

Mikie, на каком этапе проблемы, скомпилировать код или заставить работать скомпилированный?

Mikie если лень отлаживать попробуй усилить типизацию.
Про типизацию
Если нет, http://eax.me/haskell-debug-trace/