|
Question on GADT and variance annotation
|
|
7
|
552
|
October 23, 2025
|
|
Tutorial on GADTs
|
|
28
|
3858
|
October 12, 2025
|
|
GADT to encode function arity
|
|
5
|
399
|
August 4, 2025
|
|
Parameterized GADT type witnesses
|
|
6
|
190
|
June 16, 2025
|
|
Syntax for returning existential types from a function
|
|
1
|
163
|
April 8, 2025
|
|
Telling the type checker that two GADTs are equal
|
|
6
|
266
|
March 24, 2025
|
|
Reads for GADT, existential types, universally quantified type code
|
|
4
|
1335
|
March 20, 2025
|
|
Reducing a recursively parameterized data type?
|
|
6
|
181
|
March 8, 2025
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
327
|
January 6, 2025
|
|
Avoiding extra matching with extensible GADTs
|
|
19
|
908
|
September 21, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
914
|
September 16, 2024
|
|
Best approach for implementing open recursion over extensible types
|
|
7
|
802
|
September 15, 2024
|
|
Binding existentials in a non-uniform GADT
|
|
1
|
187
|
June 18, 2024
|
|
Annotating by an existential type
|
|
6
|
657
|
June 4, 2024
|
|
Narrowing variant types alternatives
|
|
11
|
5168
|
May 21, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
345
|
May 16, 2024
|
|
Limit the possible constructor in another type constuctor
|
|
3
|
271
|
April 5, 2024
|
|
Generalised abstract data types, phantom types and modules
|
|
2
|
285
|
February 28, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
445
|
January 17, 2024
|
|
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong?
|
|
2
|
451
|
November 15, 2023
|
|
GADT and OR pattern matching
|
|
4
|
1917
|
September 4, 2023
|
|
Exisential types and types variables equality
|
|
1
|
432
|
August 29, 2023
|
|
Can't write a transition which can lead to two different states
|
|
6
|
542
|
July 28, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
825
|
May 24, 2023
|
|
A bestiary of GADT examples?
|
|
11
|
1845
|
May 18, 2023
|
|
ChatGPT explains GADTs
|
|
4
|
1167
|
March 24, 2023
|
|
Design suggestions for a functor with existential wrappers
|
|
7
|
729
|
February 13, 2023
|
|
Question on continuations
|
|
3
|
543
|
February 6, 2023
|
|
Explicitly name types in GADT patterns
|
|
12
|
929
|
January 13, 2023
|
|
Blog post: Testing in Seqes
|
|
0
|
599
|
January 5, 2023
|