Switch is fine if you don't care about performance. If you do care about performance then direct threading is faster. Direct threading uses tail calls.

More here: https://noelwelsh.com/posts/understanding-vm-dispatch/