@budden

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

Оптимизация let при высоком уровне отладки не отключается. Например, если сделано (let ((а 1)) ...), то это в каких-то случаях приводит к тому, что переменной а вовсе не образуется. Кроме того, нельзя щёлкнуть и поставить точку останова, хотя в CMU такая возможность была и в SBCL вроде бы она тоже работает (точки останова есть, но нет интерфейса в редакторе, чтобы их поставить).

Конечно, мы все знаем, что в лиспе можно вписать (break) в любое место и перекомпилировать одну функцию. Но это выглядит недоработкой.

Ключевое здесь то, что ты допускаешь, что отладчик может быть удобен. Это говорит о том, что ты мыслишь сам, за это тебе респект. Официальная религия учит, что пошаговая отладка вообще не нужна. Например, есть такой лозунг: "если тебе нужен отладчик, то ты не понимаешь свою программу". При таком подходе, опять же, не стоит удивляться падению популярности языка. На самом же деле сообщество просто не осилило сделать хороший отладчик, и его отсутствие пытаются компенсировать зомбированием прихожан. Стандартный ход разработчиков, не осиливших какой-то функционал. Зазомбировать можно школьников, накрайняк студентов, а бизнес так просто не зомбируется - он уходит на другие технологии.

Добавлено через 8 минут
Я сейчас делаю отладчик для Яра, опираясь как раз на этот пошаговый отладчик. При этом мне приходится в очень многих местах вставлять специальный вызов, чтобы степпер удосужился там остановиться. Вот как выглядит код для простейшего вычисления:

Там где вставлено Стоп-выр-1, степпер пролистывал какой-то шаг вычисления.

Оптимизация let при высоком уровне отладки не отключается. Например, если сделано (let ((а 1)) ...), то это в каких-то случаях приводит к тому, что переменной а вовсе не образуется. Кроме того, нельзя щёлкнуть и поставить точку останова, хотя в CMU такая возможность была и в SBCL вроде бы она тоже работает (точки останова есть, но нет интерфейса в редакторе, чтобы их поставить).

Вернуться к обсуждению:
Emacs/Slime and SBCL: stepping Lisp

0