|
Polymorphic variant type gets restricted when try with is used
|
|
2
|
196
|
January 24, 2025
|
|
Type checking pattern matching on polymorphic variants
|
|
3
|
349
|
January 10, 2025
|
|
Modeling Rust trait objects subtyping relation via OCaml polymorphic variants
|
|
2
|
352
|
November 21, 2024
|
|
Figuring out how to return an open polymorphic variant from application to a module
|
|
2
|
267
|
September 18, 2024
|
|
A pattern for using GADTs to subset cases
|
|
19
|
1310
|
September 17, 2024
|
|
New Draft Tutorial on Polymorphic Variants
|
|
24
|
1927
|
November 30, 2023
|
|
Understanding polymorphic variants
|
|
2
|
419
|
November 26, 2023
|
|
Modelling access permissions with polymorphic variants
|
|
6
|
1068
|
June 15, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
917
|
May 24, 2023
|
|
Signature of a function changed when adding a recursion
|
|
2
|
663
|
April 7, 2023
|
|
Deconstructing polymorphic variant type
|
|
5
|
761
|
December 17, 2022
|
|
Inferred types and polymorphic variants
|
|
8
|
1179
|
September 7, 2021
|
|
Empty polymorphic variant type use case
|
|
2
|
1136
|
August 27, 2021
|