Очевидно, стоит учесть опыт обсуждения вэтой теме. Но дискутировать по обоснованию свойств предлагаемых языков предлагается вэтой теме. Как и по представлениям о "деятельности вообще" - которые должны лежать в основе этих языков. Предполагается, что решение в целом представляется семейством языков, но состав и структура этого семейства не регламентируется - каждый выбирает по-своему. Понятно, что описания на разных языках д.б. связными.

По поводу обработки особых ситуаций исполнения, очевидно, есть смысл учесть обсуждения вэтой теме... а такжев этой.
Тем, кто хочет дойти до "программно-строгого" языка, исповедуя "чисто объектный" взгляд на деятельность - настоятельно рекомендуется поверять свои представления результатами какМейера, так иБабичева.