Стектрейсы функциональщины

[metaclass]

К этому: http://jdevelop.livejournal.com/1969110.html
Вообще, в F# та же проблема. Когда функциональный язык сделан поверх не способствующей тому платформы, стеки вызовов превращаются в кромешный ад.
Причем, если при этом фигурирует ленивость - можно сразу вешаться, т.к. найти источник ошибки, не натыкав во все места принудительную активизацию всех ленивых величин, практически нереально (при работе с БД и утеканием итераторов из открытых запросв это еще обычно и ошибку вылечит).
Альтернатива, видимо - некая визуализация потоков данных и показ "откуда пришла эта хрень".

А еще нужно внутренности жабы и дотнета исключать из стек-трейса, заменяя "известную последовательность" вызовов одной строкой типа "кложурь долбится в интероп за полем".

Comments

[alexott.livejournal.com]

ну вот так и отлаживаем :-) в кложуре есть проблема с тем, что часть кода ленивая и откуда пришла основная бага - не всегда понятно

[blackyblack.livejournal.com]

Да знаем мы, как вы отлаживаете. В репле набиваете построчно и смотрите, где сломается.

[alexott.livejournal.com]

в моем текущем проекте, репл не особо помогает, поскольку многотредовость и т.п.

[metaclass.livejournal.com]

Не, я обычно пишу программу и поэтапно запускаю, смотрю чтобы не сломалось.

[blackyblack.livejournal.com]

С кложурью у меня так не получалось.

[blackyblack.livejournal.com]

Надо в стектрейсы дописывать параметры для функции и комментарии к функциям. Тогда будет ничё так.

[metaclass.livejournal.com]

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

[blackyblack.livejournal.com]

Может ява этого тупо не умеет?

[antilamer.livejournal.com]

Дебаггеры-то умеют, хотя и не всегда. Могли бы и в API вынести.

[vinslivins.livejournal.com]

да, кстати, старая тема. никогда не понимал, какая техническая в этом проблема?)

[w00dy.livejournal.com]

ребе, это ещё вменяемый стектрейс. А вот когда у вас там пачка inner exception с DynamicInvoke, вот это жопа полнейшая. Только понимае того что там творится спасает (особенно если это что-то самописное)

[gds.livejournal.com]

1. можно фильтровать всякое из внутренностей.

2.
> функциональный язык сделан поверх не способствующей тому платформы
> принудительную активизацию всех ленивых величин

Тут, как бы, вопрос будет независимо от платформы. Рекомендую на х-е покодить, будет ровно тот же опыт, если брать реальные задачи (хотя бы ту же работу с БД). Лентяйка, чо. Не связано с функциональностью языка программирования, связано именно с ленивостью.

3.
> при работе с БД и утеканием итераторов

iteratees для простой работы -- самое то. Даже для clojure применить можно.

[nicka-startcev.livejournal.com]

и на что только не идут люди, чтоб не делать нормальные логи..

[gds.livejournal.com]

кстати да. Только понятие "лог" в ленивом языке -- оно как бы очень размыто.

[nivanych.livejournal.com]

Иначе говоря, в _чистом_ ленивом языке приходится делать всякие Writer'ы, и соответственно, при нужде в логах, получаем какбе и уже другую функцию.
Но можно же и unsafePerformIO! ;-)
А что делают в чистом энергичном языке? Там это понятие не размыто?

[antilamer.livejournal.com]

Отладку ленивости можно чуть упростить - https://github.com/jkff/htrace/blob/master/Debug/HTrace.hs

[theiced.livejournal.com]

перл, закапывайте.

[antilamer.livejournal.com]

В смысле? Мне это реально помогло за час найти проблему, которую я до этого отлаживал два дня.

[zamotivator.livejournal.com]

По-моему во всём этом есть что-то глобально неправильное

[nivanych.livejournal.com]

Неправильно то, что до сих пор, мало уделяли внимания ресурсной семантике и её типизации.
А порой, она весьма нетривиальная.

[antilamer.livejournal.com]

Какая уж там типизация в кложуре-то.

[nivanych.livejournal.com]

Я так понял "во всём этом" ;-)

[metaclass.livejournal.com]

В F# с типами, конечно, чуть получше, но с стек-трейсами та же печаль.

[antilamer.livejournal.com]

Ну да, они предназначались для примитивных случаев использования функций. Можно попробовать почитать ресерч про стектрейсы в функциональных языках и попытаться сэмулировать...

[thesz.livejournal.com]

Ещё раз повторю, что в ghc 7.4.1 всё нормально с трейсами.

Рекомендую.

[antilamer.livejournal.com]

Поясни?

[zamotivator.livejournal.com]

Километровые стек-трейсы, глобальные энергичные форсеры ленивости, отладка по два дня, чтобы понять где проблема

[antilamer.livejournal.com]

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

Второе и третье - одно и то же, и я и сам не уверен, приносит ли ленивость на нынешнем уровне развития технологий в среднем больше вреда или пользы. С удовольствием покодил бы на языке типа Хаскелла, только без ленивости.

[freiksenet.livejournal.com]

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

[thesz.livejournal.com]

Если что, то стек трейсы в современном Хаскеле (ghc 7.4.1) вполне ничего себе так.