На тему споров про хаскель и отладки программ

[metaclass]

Посетила странная мысль - если стек вызовов в программе становится слишком глубоким (не считая рекурсий по данным, видимо), это означает, что уровень абстракции, предоставляемый используемым инструментом разработки, не соответствует решаемой задаче.

То есть, например, если я использую какую-то библиотеку - должно быть пофиг, как там она делает внутри себя, это должно быть черным ящиком, в том числе и в стеке вызовов. И если нужно отлаживать библиотеку - это нужно делать отдельно, когда кроме нее в стеке вызовов сверху только Main() сидит. А если мы отлаживаем конечную программу - то вызов библиотеки будет сидеть внизу стека, одной строкой.

Comments

[smalgin.livejournal.com]

Разве это уровень абстракции? Вы просто озвучили правильную и неправильную инкапсуляцию, не?

[oldmann.livejournal.com]

ребе, какой еще хаскель в шабат ночью?

[vp.livejournal.com]

Весьма здравая мысль, кстати. Я в смысле по поводу такого критерия.

[udpn.livejournal.com]

Это не странная мысль (, это в тебе пробуждается Сила, юный джедай). Был бы единый репозиторий библиотечного кода со злыми супервизорами и возможность кросс-оптимизации программы и библиотеки.

[black-angel-by.livejournal.com]

ребе, вы еще "Теория представлений групп" почитайте :) ваша область выноса мозга :)

[kkirsanov.livejournal.com]

А как выглядит отладка хаскелевской программы?

По идее монады+ленивые вычисления должны порождать такую лапшу, что традиционная отладка в принципе будет бессмысленна.

[metaclass.livejournal.com]

Да по идее, через unsafePerformIO в лог писать в нужных местах.
Хотя я бы это дело на уровень компилятора засунул, в виде функции, эквивалентной id, но с записью в какой-нибудь внутренний лог, со стеком/графом вызовов.

[tonal.myopenid.com (from livejournal.com)]

Это называется Debug.Trace (trace, traceShow)
Но таки советую совоить ghci :)