4 ms·

What is 'mnt pattern-matching'? If you're asking about OCaml's pattern matching, it's compiled quite efficiently: https://www.cs.tufts.edu/comp/150FP/archive/l

• throwaway894345 5y ago
  Apple autocorrects poorly. I meant “isn’t pattern-matching”. And I was asking about checking exhaustiveness at compile time specifically, not about the compiled code.
  • c-cube 5y ago
    Unless you generate code with very large pattern matches it's an absolute non issue in practice :-)