Vztahující se k programovacích jazyků, které si mohou vyměňovat informace prostřednictvím běžně dohodnuté definice a zvyklosti pro typy.