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

Для начала, будет весьма нелишним посмотреть эти языки, о которых вы писали. А язык категорный я разрабатываю. Очень хорошо сочетается с моноидальными диаграммами, правда, в упрощённом виде. И позволяет выразить как "сборку из частей", так и логические взаимоотношения. Но думаю, думаю... В упрощённом виде, может быть, будем скоро проект делать, где это используется... Я задумывался о том, насколько это возможно детям представить. Но во-первых, я никогда не имел опыта преподавания детям младше 5-6 класса, во-вторых, там и без этого проблем много и часть прагматики, относящуюся к преподаванию детям, я пока отложил.