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