|
Tutorial on GADTs
|
|
31
|
4404
|
May 31, 2026
|
|
Question on GADT and variance annotation
|
|
7
|
610
|
October 23, 2025
|
|
GADT to encode function arity
|
|
5
|
429
|
August 4, 2025
|
|
Parameterized GADT type witnesses
|
|
6
|
221
|
June 16, 2025
|
|
Syntax for returning existential types from a function
|
|
1
|
196
|
April 8, 2025
|
|
Telling the type checker that two GADTs are equal
|
|
6
|
299
|
March 24, 2025
|
|
Reads for GADT, existential types, universally quantified type code
|
|
4
|
1360
|
March 20, 2025
|
|
Reducing a recursively parameterized data type?
|
|
6
|
216
|
March 8, 2025
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
348
|
January 6, 2025
|
|
Avoiding extra matching with extensible GADTs
|
|
19
|
986
|
September 21, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
996
|
September 16, 2024
|
|
Best approach for implementing open recursion over extensible types
|
|
7
|
852
|
September 15, 2024
|
|
Binding existentials in a non-uniform GADT
|
|
1
|
208
|
June 18, 2024
|
|
Annotating by an existential type
|
|
6
|
729
|
June 4, 2024
|
|
Narrowing variant types alternatives
|
|
11
|
5231
|
May 21, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
365
|
May 16, 2024
|
|
Limit the possible constructor in another type constuctor
|
|
3
|
287
|
April 5, 2024
|
|
Generalised abstract data types, phantom types and modules
|
|
2
|
330
|
February 28, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
482
|
January 17, 2024
|
|
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong?
|
|
2
|
474
|
November 15, 2023
|
|
GADT and OR pattern matching
|
|
4
|
1951
|
September 4, 2023
|
|
Exisential types and types variables equality
|
|
1
|
451
|
August 29, 2023
|
|
Can't write a transition which can lead to two different states
|
|
6
|
569
|
July 28, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
857
|
May 24, 2023
|
|
A bestiary of GADT examples?
|
|
11
|
1922
|
May 18, 2023
|
|
ChatGPT explains GADTs
|
|
4
|
1220
|
March 24, 2023
|
|
Design suggestions for a functor with existential wrappers
|
|
7
|
746
|
February 13, 2023
|
|
Question on continuations
|
|
3
|
561
|
February 6, 2023
|
|
Explicitly name types in GADT patterns
|
|
12
|
974
|
January 13, 2023
|
|
Blog post: Testing in Seqes
|
|
0
|
606
|
January 5, 2023
|