Я считаю, что система типов Fortress Programming Language работает в некотором роде аналогично тому, что вы описываете. Он использует объектно-ориентированную систему типов с общими чертами, например, для описания. Алгебраические свойства операторов (такие как ассоциативность, коммутативность, дистрибутивность, идентичность, симметрия, одноэлементный, нулевой элемент и т. Д.). Он должен знать все это, чтобы автоматически распределять вычисления по узлам в кластере.