Самокритика (она же -- программа исследований).

[ailev]

Я не так много сейчас пишу у себя в ЖЖ, но довольно много в проектных комьюнити -- прежде всего dot15926 и praxos. Эти проекты существенно продвинулись, и самое время навести на них суровую "критику справа" (ибо левой критики, как всегда, и так предостаточно

Comments

[ailev]

Вы тут говорите, что описание в темплейтах -- это промежуточное описание парсированной программы при переводе ее с одного языка на другой язык. Типа байт-кода для языка высокого уровня, который потом интерпретируюется виртуальной машиной этого языка до уровня исполняемых машинных кодов. У меня вопрос чуть другой: как вы исполняете описание в темплейтах? Судя по всему, вы "исполняете в особом смысле", т.е. просто компилируете его в исполняемый код (который тоже, замечу, не очень-то исполняем). В вашем примере проблемы начинаются с описания на 24744L, которое еще нужно сообразить в каком смысле "исполняемо" -- тоже только в смысле компилирования описания и какого-то анализа (даже не соображу, какого: какие там можно из этого описания извлечь "важные случаи, неустойчивости, развилки, дедлоки и дедлайны", там ведь никакой информации для этого нет!).

Я имею ввиду более простую ситуацию: нужно написать какую-нибудь простую программу анализа данных, например, на Питоне. А структура данных -- из ISO 15926 (то есть дана в терминах URI, и даже label на парочке языков привязаны к этим URI отношениями). Как писать операции на Питоне, чтобы синтаксически и семантически нормально работать с данными из RDL как с родными питоновскими структурами данных? И на питоне ли это нужно писать, или лучше какой-то другой язык взять (функционально-логический, или объектно-функциональный или еще какой-то более мультипарадигмальный, чем Питон)? Как бы могли выглядеть программы на таком языке? И кто был бы способен такие программы писать? На питоне ведь многие люди писать способны, но на функционально-логической экзотике только единицы...

См. также комментарий cryozot чуть ниже.

[ailev]

Это ровно то, что я тоже хотел предложить. Когда ни у кого нет особого понимания, теория говорит "нужно делать эксперименты". Mapper с шаблонами, и попробовать на него посадить Editor.