|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
289
|
January 6, 2025
|
|
Avoiding extra matching with extensible GADTs
|
|
19
|
660
|
September 21, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
829
|
September 16, 2024
|
|
Best approach for implementing open recursion over extensible types
|
|
7
|
742
|
September 15, 2024
|
|
Binding existentials in a non-uniform GADT
|
|
1
|
161
|
June 18, 2024
|
|
Tutorial on GADTs
|
|
25
|
3029
|
June 12, 2024
|
|
Annotating by an existential type
|
|
6
|
529
|
June 4, 2024
|
|
Narrowing variant types alternatives
|
|
11
|
5014
|
May 21, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
308
|
May 16, 2024
|
|
Question on GADT and variance annotation
|
|
6
|
347
|
May 5, 2024
|
|
Limit the possible constructor in another type constuctor
|
|
3
|
253
|
April 5, 2024
|
|
Generalised abstract data types, phantom types and modules
|
|
2
|
241
|
February 28, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
395
|
January 17, 2024
|
|
Patching a GADT-and-phantom-types-heavy-library … what did I do wrong?
|
|
2
|
415
|
November 15, 2023
|
|
GADT and OR pattern matching
|
|
4
|
1868
|
September 4, 2023
|
|
Exisential types and types variables equality
|
|
1
|
403
|
August 29, 2023
|
|
Can't write a transition which can lead to two different states
|
|
6
|
509
|
July 28, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
761
|
May 24, 2023
|
|
A bestiary of GADT examples?
|
|
11
|
1702
|
May 18, 2023
|
|
ChatGPT explains GADTs
|
|
4
|
1092
|
March 24, 2023
|
|
Design suggestions for a functor with existential wrappers
|
|
7
|
689
|
February 13, 2023
|
|
Question on continuations
|
|
3
|
524
|
February 6, 2023
|
|
Explicitly name types in GADT patterns
|
|
12
|
855
|
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
|
1399
|
November 24, 2022
|
|
Non-exhaustive lambda-patterns
|
|
2
|
631
|
October 27, 2022
|
|
Prohibiting invalid states with GADT - the airlock exercise
|
|
25
|
1428
|
October 18, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
645
|
October 17, 2022
|
|
"Parsing" terms into a well-typed representation: a GADT puzzle
|
|
4
|
2546
|
October 30, 2021
|