Относящихся к языкам программирования, которые могут обмениваться информацией через широко согласованных определений и закономерностей для типов.