Topics tagged gadt

Topic	Replies	Views	Activity
Parameterized GADT type witnesses Learning type-system , gadt , types	6	139	June 16, 2025
Syntax for returning existential types from a function Learning ppx , gadt , existential-types	1	140	April 8, 2025
Telling the type checker that two GADTs are equal Learning gadt	6	222	March 24, 2025
Reads for GADT, existential types, universally quantified type code Learning gadt , existential-types	4	1300	March 20, 2025
Reducing a recursively parameterized data type? Learning gadt	6	143	March 8, 2025
Using GADTs to track properties of a state type. Help and alternative approaches? Learning language-design , type-system , gadt , types , datastructures	3	296	January 6, 2025
Avoiding extra matching with extensible GADTs Learning gadt , type-inference	19	746	September 21, 2024
Does using object types in GADTs get you any more power? Learning type-system , gadt , objects	10	862	September 16, 2024
Best approach for implementing open recursion over extensible types Learning recursion , gadt	7	769	September 15, 2024
Binding existentials in a non-uniform GADT Learning gadt	1	166	June 18, 2024
Tutorial on GADTs Learning blog , gadt , tutorial	25	3273	June 12, 2024
Annotating by an existential type Learning gadt , existential-types	6	589	June 4, 2024
Narrowing variant types alternatives Learning gadt , adt	11	5080	May 21, 2024
Faking type families to encode extensible tagless-final interpreters Learning type-system , gadt , tagless-final	2	318	May 16, 2024
Question on GADT and variance annotation Learning type-system , gadt	6	371	May 5, 2024
Limit the possible constructor in another type constuctor Learning gadt	3	254	April 5, 2024
Generalised abstract data types, phantom types and modules Learning module , gadt , phantom-types	2	253	February 28, 2024
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)? Learning effects , gadt , polymorphism	6	404	January 17, 2024
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong? Learning help , gadt , phantom-types	2	419	November 15, 2023
GADT and OR pattern matching Learning gadt	4	1890	September 4, 2023
Exisential types and types variables equality Learning gadt , existential-types	1	418	August 29, 2023
Can't write a transition which can lead to two different states Learning gadt	6	510	July 28, 2023
Mapping GADT with Polymorphic Variant into a more restrictive form Learning type-system , gadt , ast , polymorphic-variants , gadts	5	794	May 24, 2023
A bestiary of GADT examples? Ecosystem gadt	11	1769	May 18, 2023
ChatGPT explains GADTs Learning gadt	4	1119	March 24, 2023
Design suggestions for a functor with existential wrappers Learning gadt	7	692	February 13, 2023
Question on continuations Learning format , gadt , cps	3	527	February 6, 2023
Explicitly name types in GADT patterns Community gadt	12	872	January 13, 2023
Blog post: Testing in Seqes Community blog , gadt , qcheck	0	595	January 5, 2023
[ANN] Release of Seqes version 0.1 Community announce , gadt	0	602	December 12, 2022