Без заголовка
****Мы будем продолжать лежать по направлению к цели.
весьма эффективно лежите к цели )) прямо оптимально )
хотя этот топик-пост ваш есть продвижение в осмыслении, прогресс есть некоторый, хоть и в виде: накидали идей, активно взболтали и выдавили равномерно в пост )
1. так и не определились вы с понятием модели а для сисмоланга вашего это базовая штука, как для лиспа базовая штука список, как для машины тьюринга баззовая штука (сами_знаете_что), как для нормальных алгоритмов маркова базовая штука..., как для лямбда нотации базовая штука...
2 модель это ((*,*),(*,*))
3. что главное в моделировании? понятие модели и композиция моделей
какие нужны композиции? думайте )
4. все остальные более высокоуровневые конструкции важны но вторичны
5. есть куча языков програмирования, тот или иной язык имеет свой успех и свои базовые фишки
нужен анализ что тому или иному языку дало его успех и соответственно потом это все обобщить