both approaches are using pattern matching, my understanding is that a case statement and the equivalent pattern matching on function heads will compile to essentially the same byte code. i’ve done some very limited benchmarking and didn’t see any performance trade off for either approach
