ну там версия скалы может не поддерживаемая или еще что если проект старый

два емаксера - филиал секты

тут нет идеи

там где двое - там и секта)

ну это и для VScode все также

а как дебажите скалу в емаксе? пробовал в ensime

но что-то не завелось

ничего лучше чем там было нет, так что никак

разве что на прямую через https://scala-debugger.org/

понятно

кроссовки - это идея

идея — это не идея

идея — это IDE

IDE - это не идея

Тоже как напоминание вброшу: 15-21/07, подмосковье, верификация. Coq, SF, элементы CPDT и PnP, живые кокологи, и отдельная неделя времени всё это ботать. Уже кокерам: давайте плоско коммьюнитибилдиться, ещё интересантам: становитесь кокерами (у меня есть темы для компиляторманов и системных, и дополнительный обзор, кому может быть интересно, на сайте). С выражением зачтём и раскурим не менее двух слайдниц с CoqPL и DSSS, и своего натащим. Регистрация, чтобы жить в домике и есть еду: http://iacsv.kocherga.club/summerschool.html.

> Подумайте заранее, что бы вы хотели сделать: заведите 10 минут и побрейнштормьте.
а тем, кто ещё SF (logical foundations) не прошёл можно не беспокоиться? я вот вообще не знаю, что хотел бы сделать. т.е. вообще новичковый уровень (не знаю, что такое CoqPL и DSSS). есть ли смысл ехать или лучше пока самому поучиться?

Это часть для уже кокеров, попробую оформить это чётче. (Там есть как подготовиться для одного трека и для другого отдельно).

Кажется, что вводный трек, который интенсив на 48-56 часов - самое то. А DSSS - это DeepSpec Summer School (https://deepspec.org/event/dsss18/), которого в этом году нет, зато есть вот у нас.

понял, спасибо

мы тут форму обратной связи раскидали по почтам.
если кому-то не пришло вот ссыль - https://forms.gle/eF9G7ZW3jwjPZfh57

"Страница 1 из 31" 😅