_:
Kir
Так сделай транслятор из лиспа в эльм.
Не выйдет
Size: a a a
2020 June 27
_:
Elm слишком DSL-ка для этого
K
Я имею ввиду, лиспоподобный фронтенд к Эльму
K
(type Either a b (Left a) (Right b))AK
Нууууууууууууууу, лисп не то чтобы очень красивый
Лисп - прекрасен и красив, в лиспе есть все ;)
AK
Это язык - который раз поняв, влюбляешься на всю жизнь!
AK
Kir
Я имею ввиду, лиспоподобный фронтенд к Эльму
Ошибки тогда компилятор элма выдавать будет, а программа написана на другом языке. И как такое дебажить?
K
Source mapping. Парсить то, что выдаёт компилятор эльма и переводить в строки/столбцы для исходного текста. Так, как это делают во всяких бабелях и прочих "транспайлерах".
_:
Это все ОЧЕНЬ тяжелая работа
MB
И, кмк, не особо нужная
_:
В отличии от моей либы
MB
Andrey Koppel
Моя мечта - это Лисп с компилятором от Элма ;)
Чем должен обладать компилятор lisp для исполнения этой мечты?
AK
Пока я 2 вещи вынес, проверка типов и и проверка на exhaustiveness
AK
Не уверен как правильно по русски
AK
Оба факта очень помогают в рефакторинг, когда поменяв программу в одном месте можно спокойно положиться на компилятор и поправить все остальные места, оставив работающую программу
_:
Я изучал лисп, там тяжело с типизацией
_:
Так что нереализуемо
AK
Да смотря какой лисп :)
AK
Это же то, что слепишь