|
Question on GADT and variance annotation
|
|
7
|
594
|
October 23, 2025
|
|
Tutorial on GADTs
|
|
28
|
3966
|
October 12, 2025
|
|
GADT to encode function arity
|
|
5
|
421
|
August 4, 2025
|
|
Parameterized GADT type witnesses
|
|
6
|
208
|
June 16, 2025
|
|
Syntax for returning existential types from a function
|
|
1
|
179
|
April 8, 2025
|
|
Telling the type checker that two GADTs are equal
|
|
6
|
290
|
March 24, 2025
|
|
Reads for GADT, existential types, universally quantified type code
|
|
4
|
1350
|
March 20, 2025
|
|
Reducing a recursively parameterized data type?
|
|
6
|
203
|
March 8, 2025
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
340
|
January 6, 2025
|
|
Avoiding extra matching with extensible GADTs
|
|
19
|
957
|
September 21, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
970
|
September 16, 2024
|
|
Best approach for implementing open recursion over extensible types
|
|
7
|
817
|
September 15, 2024
|
|
Binding existentials in a non-uniform GADT
|
|
1
|
199
|
June 18, 2024
|
|
Annotating by an existential type
|
|
6
|
699
|
June 4, 2024
|
|
Narrowing variant types alternatives
|
|
11
|
5211
|
May 21, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
361
|
May 16, 2024
|
|
Limit the possible constructor in another type constuctor
|
|
3
|
282
|
April 5, 2024
|
|
Generalised abstract data types, phantom types and modules
|
|
2
|
305
|
February 28, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
469
|
January 17, 2024
|
|
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong?
|
|
2
|
468
|
November 15, 2023
|
|
GADT and OR pattern matching
|
|
4
|
1938
|
September 4, 2023
|
|
Exisential types and types variables equality
|
|
1
|
442
|
August 29, 2023
|
|
Can't write a transition which can lead to two different states
|
|
6
|
563
|
July 28, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
846
|
May 24, 2023
|
|
A bestiary of GADT examples?
|
|
11
|
1885
|
May 18, 2023
|
|
ChatGPT explains GADTs
|
|
4
|
1196
|
March 24, 2023
|
|
Design suggestions for a functor with existential wrappers
|
|
7
|
740
|
February 13, 2023
|
|
Question on continuations
|
|
3
|
557
|
February 6, 2023
|
|
Explicitly name types in GADT patterns
|
|
12
|
963
|
January 13, 2023
|
|
Blog post: Testing in Seqes
|
|
0
|
604
|
January 5, 2023
|