Different languages, however, have different criteria for when two type expressions are understood to denote the same type.
Однако, разные языки имеют разные критерии для определения совместимости типов двух выражений.