AP
@wemoloki — возможно, тебе интересно будет.
Size: a a a
2021 April 24
СЗ
Норм тема. Вот только язык у тебя экзоттчский.
AS
Это компилятор PlantUML в Scheme или что-то другое на выходе?
AP
PlantUML в Scheme. На выходе получается объект, описывающий ДКА, который можно применить в программе.
AP
Плюс можно проверять ДКА на предмет тупиков и недостижимых состояний.
AP
VS
ну тут такое... Если есть страшный интерес, то это, конечно, на пользу и себе и обществу. Но конечная цель непонятна. Ты же все равно не научишь комп писать программы до конца по uml схеме. Я даже коммерческих ситем, успешных в этом деле, не знаю. Стоит ли тратить время... Но это тебе виднее должно быть, конечно )
AP
На данный момент я могу на основе PlantUML сделать автомат, который будет своё же описание в PlantUML разбирать и получать новый такой же автомат.
В целом, у меня два GNU Guile проекта есть на ДКА, и все эти автоматы я вручную писал. Здесь же я хочу сделать инструмент, чтобы часть процесса автоматизировать.
В целом, у меня два GNU Guile проекта есть на ДКА, и все эти автоматы я вручную писал. Здесь же я хочу сделать инструмент, чтобы часть процесса автоматизировать.
СЗ
вот эта автоматизация, которая гарантирует отсутствие тупиков - хорошая штука. экономит время при тестах.
VS
это понятно, но... См. выше )) Возможно, я плохой "оптимист". Может, кстати, сразу на компилятор под e2k замахнуться? Вот тут ты реально можешь быть отечественным Столлманом в плане создания именно открытого компилятора, которого, как известно, нет под e2k...
СЗ
"на компилятор под e2k" ... а есть? )
VS
кто есть?
СЗ
e2k же!
СЗ
вроде эмули под него есть.
VS
было бы желание, найти можно
AP
Во-первых, я не настолько пока что крут, чтобы замахнуться на компилятор для e2k. Во-вторых, мне это на данный момент не интересно.
VS
Теория автоматов и написание компилятора вещи одного порядка... Не интересно — это другой вопрос.
AP
Я пишу библиотеки под GNU Guile, поскольку считаю Lisp (и конкретно Scheme, как диалект) красивийшим языком программирования. Мне это доставляет эстетическое удовольствие, скажем так. И поэтому стараюсь помочь в развитии этого языка.
AS
Без спецификаций компилятор e2k это работа на много лет. А с NDA-ными спеками и писать ничего не нужно, "открытый" в узких кругах компилятор МЦСТ уже есть.