Универсальный тип
В теории типов универсальный тип (ы) может относиться к:
- Верхний тип в системе типов с подтипами .
- Универсальные типы — это сокращение для универсально квантифицированных типов в системах, поддерживающих параметрический полиморфизм , таких как System F .
На этой странице значений перечислены статьи, связанные с заголовком Универсальный тип .
Если вас привела сюда внутренняя ссылка , возможно, вы захотите изменить ссылку, чтобы она указывала непосредственно на нужную статью.
Если вас привела сюда внутренняя ссылка , возможно, вы захотите изменить ссылку, чтобы она указывала непосредственно на нужную статью.