Topics tagged gadt

Topic	Replies	Views	Activity
[ANN] Release of Seqes version 0.1 Community announce , gadt	0	610	December 12, 2022
A short GADT puzzle Learning gadt	12	1524	November 24, 2022
Non-exhaustive lambda-patterns Learning gadt	2	676	October 27, 2022
Prohibiting invalid states with GADT - the airlock exercise Community gadt	25	1655	October 18, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	712	October 17, 2022
"Parsing" terms into a well-typed representation: a GADT puzzle Learning gadt	4	2671	October 30, 2021
GADTs for tracking dimensions of multidimensional arrays? Ecosystem gadt	11	1109	September 2, 2022
GADTs for typed option getter/setter Learning gadt	2	836	August 29, 2022
Mapping GADT AST node to list of it's children not allowed by compiler? Learning compiler , gadt , polymorphism , ast	3	871	August 26, 2022
Open source projects using GADTs Learning gadt	12	2035	April 26, 2022
Puzzle: Reverse a heterogeneous list twice Community gadt	2	1387	March 6, 2022
Naive and failed type-level theorem proving using GADT Learning gadt	1	785	February 28, 2022
Equal existential types are not printed equally by the top-level? Learning gadt , toplevel , existential-types	4	728	February 19, 2022
How to convert a list to a product? Learning gadt , type-description , generic-view	4	1073	February 19, 2022
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement? Learning gadt , pattern	5	1193	February 14, 2022
GADT and polymorphic recursion Learning gadt , polymorphism	1	1191	January 19, 2022
Structural equality for GADTs Learning gadt	22	2536	January 13, 2022
Exponential compile time with respect to constructors nesting level Ecosystem compiler , gadt	3	812	November 18, 2021
Angstrom number parser with GADT Learning gadt , angstrom , list , heterogeneous-list	1	797	October 2, 2021
Puzzling through some GADT errors Learning gadt	23	2774	September 22, 2021
GADT pattern matching exhaustiveness Community compiler , gadt	2	1008	February 1, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	857	December 21, 2020
Problem with subtyping in polymorphic variant in gadt Learning gadt , polymorphism	1	1201	October 24, 2020
Match a list of gadt based on type Learning gadt	2	746	September 7, 2020
GADTs, phantom variables and type aliases Learning gadt	4	871	August 19, 2020
Filtering constructors by type variable (GADTs + polymorphic variants) Learning gadt , polymorphism	6	1182	August 7, 2020
Type of function returning GADT Learning gadt	2	944	May 20, 2020
Generating inhabitants of (G)ADT Community gadt , adt	1	1042	January 4, 2020
GADTs and modules Learning gadt	6	1243	July 30, 2019
Packing GADT constructors in iterable data structure Learning gadt	8	2750	July 29, 2019