Ukrainian Узагальнений алгебричний тип даних Cited by user Lxlalexlxl on 02 Oct 2022 Узага́льнений алгебри́чний тип да́них (generalized algebraic data type, GADT) — один з видів алгебричних типів даних, який характеризується тим, що його конструктори можут…
English Dependent type Cited by user RDBrown on 06 Mar 2020 Two common examples of dependent types are dependent functions and dependent pairs. The return type of a dependent function may depend on the value (not just type) of…
Russian Обобщённый алгебраический тип данных Cited by user РоманСузи on 13 Dec 2014 Обобщённый алгебраический тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего т…