Topics tagged gadt

Topic	Replies	Views	Activity
How to convert a list to a product? Learning gadt , type-description , generic-view	4	994	February 19, 2022
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement? Learning gadt , pattern	5	1045	February 14, 2022
GADT and polymorphic recursion Learning gadt , polymorphism	1	1014	January 19, 2022
Structural equality for GADTs Learning gadt	22	2218	January 13, 2022
Exponential compile time with respect to constructors nesting level Ecosystem compiler , gadt	3	744	November 18, 2021
Angstrom number parser with GADT Learning gadt , angstrom , list , heterogeneous-list	1	723	October 2, 2021
Puzzling through some GADT errors Learning gadt	23	2438	September 22, 2021
GADT pattern matching exhaustiveness Community compiler , gadt	2	881	February 1, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	793	December 21, 2020
Problem with subtyping in polymorphic variant in gadt Learning gadt , polymorphism	1	1072	October 24, 2020
Match a list of gadt based on type Learning gadt	2	640	September 7, 2020
GADTs, phantom variables and type aliases Learning gadt	4	743	August 19, 2020
Filtering constructors by type variable (GADTs + polymorphic variants) Learning gadt , polymorphism	6	1052	August 7, 2020
Type of function returning GADT Learning gadt	2	866	May 20, 2020
Reads for GADT, existential types, universally quantified type code Learning gadt , existential-types	3	1080	April 9, 2020
Generating inhabitants of (G)ADT Community gadt , adt	1	983	January 4, 2020
Narrowing variant types alternatives Learning gadt , adt	7	4384	September 9, 2019
GADTs and modules Learning gadt	6	1121	July 30, 2019
Packing GADT constructors in iterable data structure Learning gadt	8	2522	July 29, 2019
Implementing map for a size-indexed vector using GADTs Learning gadt	3	1006	April 1, 2019
Two questions about GADTs Learning gadt	4	1018	February 13, 2019
Simplest way to recognize a primitive type? Learning gadt , adt	6	1783	December 1, 2018
What is the "right" way to add constraints on a type, to handle recursive structures with variants and to combine fragments of types? Learning real-world-ocaml , ocaml , gadt	38	10527	November 14, 2018
Troubles using GADTs (Type constructor tries to escape its scope!) Learning gadt	2	1089	November 10, 2018
How to read/understand function signature with GADT? Learning gadt	5	4148	July 11, 2018
A single GADT constructor accepting some specific type parameters? Learning gadt	6	1181	April 6, 2018
List with internal type processing Learning gadt	4	1171	January 29, 2018
Function over GADT not "polymorphic enough" Learning type-system , gadt	2	1341	January 12, 2018
[ANN] Farfadet 0.2 Community announce , gadt , serialization	0	1352	November 30, 2017
Map GADT type specification to function arguments Learning gadt	3	1295	October 11, 2017