How can you "un-functorize" an API to make it polymorphic while retaining type safety and efficiency?
|
|
10
|
309
|
January 23, 2025
|
Wildcards in pattern-matching / recursive function
|
|
2
|
649
|
November 30, 2023
|
[help] Regex pattern and raw strings
|
|
2
|
463
|
March 22, 2023
|
Constant string pattern matching
|
|
6
|
1133
|
November 16, 2022
|
How to enforce valid db IDs with phantom types?
|
|
16
|
1211
|
November 3, 2022
|
Locally Abstract Types in an Or-pattern with a GADT Scrutinee: Clash during Refinement?
|
|
5
|
1145
|
February 14, 2022
|
Share your crazy OCaml code snippet!
|
|
44
|
5622
|
November 30, 2021
|