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