|
Telling the type checker that two GADTs are equal
|
|
6
|
186
|
March 24, 2025
|
|
Reads for GADT, existential types, universally quantified type code
|
|
4
|
1284
|
March 20, 2025
|
|
Reducing a recursively parameterized data type?
|
|
6
|
135
|
March 8, 2025
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
294
|
January 6, 2025
|
|
Avoiding extra matching with extensible GADTs
|
|
19
|
698
|
September 21, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
844
|
September 16, 2024
|
|
Best approach for implementing open recursion over extensible types
|
|
7
|
759
|
September 15, 2024
|
|
Binding existentials in a non-uniform GADT
|
|
1
|
164
|
June 18, 2024
|
|
Tutorial on GADTs
|
|
25
|
3142
|
June 12, 2024
|
|
Annotating by an existential type
|
|
6
|
561
|
June 4, 2024
|
|
Narrowing variant types alternatives
|
|
11
|
5045
|
May 21, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
311
|
May 16, 2024
|
|
Question on GADT and variance annotation
|
|
6
|
359
|
May 5, 2024
|
|
Limit the possible constructor in another type constuctor
|
|
3
|
254
|
April 5, 2024
|
|
Generalised abstract data types, phantom types and modules
|
|
2
|
246
|
February 28, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
400
|
January 17, 2024
|
|
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong?
|
|
2
|
416
|
November 15, 2023
|
|
GADT and OR pattern matching
|
|
4
|
1882
|
September 4, 2023
|
|
Exisential types and types variables equality
|
|
1
|
410
|
August 29, 2023
|
|
Can't write a transition which can lead to two different states
|
|
6
|
510
|
July 28, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
774
|
May 24, 2023
|
|
A bestiary of GADT examples?
|
|
11
|
1734
|
May 18, 2023
|
|
ChatGPT explains GADTs
|
|
4
|
1097
|
March 24, 2023
|
|
Design suggestions for a functor with existential wrappers
|
|
7
|
691
|
February 13, 2023
|
|
Question on continuations
|
|
3
|
526
|
February 6, 2023
|
|
Explicitly name types in GADT patterns
|
|
12
|
862
|
January 13, 2023
|
|
Blog post: Testing in Seqes
|
|
0
|
595
|
January 5, 2023
|
|
[ANN] Release of Seqes version 0.1
|
|
0
|
600
|
December 12, 2022
|
|
A short GADT puzzle
|
|
12
|
1401
|
November 24, 2022
|
|
Non-exhaustive lambda-patterns
|
|
2
|
633
|
October 27, 2022
|