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