🌐EnglishEnglishFrançaisРусский中文日本語EntityQ3557516· pop 5· linked from 237 articlesGeneralized algebraic data typeConcept in functional programmingAvailable in 5 languagesFrançaisРусскийGreekUkrainianvia Wikidata sitelinks · CC0ConnectionsclassEntitytype systemEntityCategoriesComposite data typesData typesDependently typed programmingFunctional programmingType theory