Индивиды и до сих пор действовали, исходя из возможностей и вопреки трудностям. Возникло такое аппаратное преобладание компьютеров, которое не могло не возникнуть в условиях исторических и рыночных ограничений.
Ограничения для троичной отрасли не исчезли, они всегда будут формировать новые компы и форматы данных, не очень-то зависимо от наших желаний. Однако, и согласовывать (договариваться) сподвигаемые системы индивиды будут вынуждены, даже если коллектив отвергнет мнение одиночки
Я удивлен, почему речь о форматах, когда архитектуру компа "кует" спрос на типы данных?
Меня "задумчивает" статья об "алгебраическом типе", из которого как бы можно произвести много типов "будущей информатики" - из явочной потребности общества, рынка и пр., бросив в урну (не в первый раз) бывшие модными достижения.