Без заголовка

Ну, базовое различие -- идентификаторы обозначают что-то в тексте модели, а десигнаторы обозначают объекты в мире. У нас был небольшой спор с justy-tylor: он утверждал, что в языке должны быть идентификаторы, а десигнаторы должны идти значениями и текстовыми строками (в кавычках). Я же выдвинул гипотезу, что в языке моделирования мира главные (без кавычек) имена должны обозначать объекты мира, а не объекты самого языка. Поэтому нужно попробовать сделать язык с десигнаторами, язык моделирования (а программирование держать сбоку, в кавычках или скобках, на полях и т.д.). Конечно, десигнаторы для product lines -- это отдельная история. У нас было понимание, что реализуем десигнаторы из IEC 81346 настолько близко к тексту, насколько можно. А потом начинаем разбираться, что жмёт, какие варианты (первым вариантом шли десигнаторы для информационных объектов/документов/описаний, которые приписываются после амперсенда к десигнатору системы. Product lines, варианты для tradeoff studies и прочие изыски множественности описаний мы откладывали на потом). Прошедшее время пишу только потому что это всё рассуждения времён "функционального паттернового языка".