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