Вы здесь

  • В языках программирования и теории типов, переменная типа или ти́повая переменная (англ. type variable) — математическая переменная, которая может принимать значение из множества типов данных. Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но, в отличие от последнего, ти́повая переменная является абстракцией, т.е. не указывает на какое-либо место в памяти ЭВМ. В качестве идентификаторов ти́повых...