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