Объекты в качестве параметров типов

[akuklev]

Вот бывают в программировании типы с параметром, например тип List - это списки, у которых элементы типа T.

Функция, которая может работать со списком любого типа элементов, тоже имеет параметрический тип:

reverse(list : List) : ListВ языках вроде Java параметром типа может быть только тип. Но когда система типов покруче, бывает что в качестве

Comments

[vit_r]

В реальных условиях типы переменных приходится менять достаточно часто.