Topics tagged gadt

Topic	Replies	Views	Activity
Limit the possible constructor in another type constuctor Learning gadt	3	204	April 5, 2024
Tutorial on GADTs Learning blog , gadt , tutorial	20	2035	March 5, 2024
Generalised abstract data types, phantom types and modules Learning module , gadt , phantom-types	2	167	February 28, 2024
Does using object types in GADTs get you any more power? Learning type-system , gadt , objects	6	472	February 9, 2024
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)? Learning effects , gadt , polymorphism	6	329	January 17, 2024
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong? Learning help , gadt , phantom-types	2	356	November 15, 2023
GADT and OR pattern matching Learning gadt	4	1765	September 4, 2023
Exisential types and types variables equality Learning gadt , existential-types	1	329	August 29, 2023
Can't write a transition which can lead to two different states Learning gadt	6	450	July 28, 2023
Mapping GADT with Polymorphic Variant into a more restrictive form Learning type-system , gadt , ast , polymorphic-variants , gadts	5	658	May 24, 2023
A bestiary of GADT examples? Ecosystem gadt	11	1492	May 18, 2023
ChatGPT explains GADTs Learning gadt	4	899	March 24, 2023
Best approach for implementing open recursion over extensible types Learning recursion , gadt	6	559	March 16, 2023
Design suggestions for a functor with existential wrappers Learning gadt	7	616	February 13, 2023
Question on continuations Learning format , gadt , cps	3	477	February 6, 2023
Explicitly name types in GADT patterns Community gadt	12	752	January 13, 2023
Blog post: Testing in Seqes Community blog , gadt , qcheck	0	543	January 5, 2023
[ANN] Release of Seqes version 0.1 Community announce , gadt	0	555	December 12, 2022
A short GADT puzzle Learning gadt	12	1304	November 24, 2022
Non-exhaustive lambda-patterns Learning gadt	2	566	October 27, 2022
Prohibiting invalid states with GADT - the airlock exercise Community gadt	25	1359	October 18, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	565	October 17, 2022
"Parsing" terms into a well-typed representation: a GADT puzzle Learning gadt	4	2387	October 30, 2021
GADTs for tracking dimensions of multidimensional arrays? Ecosystem gadt	11	965	September 2, 2022
GADTs for typed option getter/setter Learning gadt	2	721	August 29, 2022
Mapping GADT AST node to list of it's children not allowed by compiler? Learning compiler , gadt , polymorphism , ast	3	757	August 26, 2022
Open source projects using GADTs Learning gadt	12	1809	April 26, 2022
Puzzle: Reverse a heterogeneous list twice Community gadt	2	1189	March 6, 2022
Naive and failed type-level theorem proving using GADT Learning gadt	1	671	February 28, 2022
Equal existential types are not printed equally by the top-level? Learning gadt , toplevel , existential-types	4	638	February 19, 2022