Size: a a a

2021 April 24

AP

Artyom "avp&quo... in CADR
@wemoloki — возможно, тебе интересно будет.
источник

СЗ

Санитар Зачем... in CADR
Норм тема. Вот только язык у тебя экзоттчский.
источник

AS

Andrew Savonichev in CADR
Это компилятор PlantUML в Scheme или что-то другое на выходе?
источник

AP

Artyom "avp&quo... in CADR
PlantUML в Scheme.  На выходе получается объект, описывающий ДКА, который можно применить в программе.
источник

AP

Artyom "avp&quo... in CADR
Плюс можно проверять ДКА на предмет тупиков и недостижимых состояний.
источник

AP

Artyom "avp&quo... in CADR
Переслано от Artyom "avp&quo...
источник

VS

Vladimir S in CADR
ну тут такое... Если есть страшный интерес, то это, конечно, на пользу и себе и обществу. Но конечная цель непонятна. Ты же все равно не научишь комп писать программы до конца по uml схеме. Я даже коммерческих ситем, успешных в этом деле, не знаю. Стоит ли тратить время... Но это тебе виднее должно быть, конечно )
источник

AP

Artyom "avp&quo... in CADR
На данный момент я могу на основе PlantUML сделать автомат, который будет своё же описание в PlantUML разбирать и получать новый такой же автомат.

В целом, у меня два GNU Guile проекта есть на ДКА, и все эти автоматы я вручную писал.  Здесь же я хочу сделать инструмент, чтобы часть процесса автоматизировать.
источник

AP

Artyom "avp&quo... in CADR
Для Java и других языков уже есть http://smc.sourceforge.net/
источник

СЗ

Санитар Зачем... in CADR
вот эта автоматизация, которая гарантирует отсутствие тупиков - хорошая штука. экономит время при тестах.
источник

VS

Vladimir S in CADR
это понятно, но... См. выше )) Возможно, я плохой "оптимист". Может, кстати, сразу на компилятор под e2k замахнуться? Вот тут ты реально можешь быть отечественным Столлманом в плане создания именно открытого компилятора, которого, как известно, нет под e2k...
источник

СЗ

Санитар Зачем... in CADR
"на компилятор под e2k" ... а есть? )
источник

VS

Vladimir S in CADR
кто есть?
источник

СЗ

Санитар Зачем... in CADR
e2k же!
источник

СЗ

Санитар Зачем... in CADR
вроде эмули под него есть.
источник

VS

Vladimir S in CADR
было бы желание, найти можно
источник

AP

Artyom "avp&quo... in CADR
Во-первых, я не настолько пока что крут, чтобы замахнуться на компилятор для e2k.  Во-вторых, мне это на данный момент не интересно.
источник

VS

Vladimir S in CADR
Теория автоматов и написание компилятора вещи одного порядка... Не интересно — это другой вопрос.
источник

AP

Artyom "avp&quo... in CADR
Я пишу библиотеки под GNU Guile, поскольку считаю Lisp (и конкретно Scheme, как диалект) красивийшим языком программирования.  Мне это доставляет эстетическое удовольствие, скажем так.  И поэтому стараюсь помочь в развитии этого языка.
источник

AS

Andrew Savonichev in CADR
Без спецификаций компилятор e2k это работа на много лет. А с NDA-ными спеками и писать ничего не нужно, "открытый" в узких кругах компилятор МЦСТ уже есть.
источник