Для баша нет IDE, которая тебе подскажет и поможет.
для баша есть set -x. Для условных однострочников этого хватает за глаза. Люди, которые хотят рефакторинг и go-to-definition для скриптов на баше, явно делают что-то не так.
Переформулирование в обычную терминологию выльется в неподъемные объемы
Зачем было изобретать велосипед?
Вы просто не можете поверить
Мы сейчас о точных науках говорим? Никакой веры! Только формальные методы, только хардкор! Кстати, было бы неплохо увидеть доказательство с использованием proof assistant. Уверяю вас, это свело бы на нет любые возражения.
Добрый день! Публикация второй части статьи всё ещё есть в планах?
для баша есть set -x. Для условных однострочников этого хватает за глаза. Люди, которые хотят рефакторинг и go-to-definition для скриптов на баше, явно делают что-то не так.
Лучше ничего нет.
Ага, позовите как только на них напишут аналог riak-core. Те же посоны из akka так ничего вразумительного пока не смогли придумать.
Зачем было изобретать велосипед?
Мы сейчас о точных науках говорим? Никакой веры! Только формальные методы, только хардкор! Кстати, было бы неплохо увидеть доказательство с использованием proof assistant. Уверяю вас, это свело бы на нет любые возражения.
А зачем? Лично я предпочел бы увидеть статью в рецензируемом научном журнале.