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 he

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/ https://noelwelsh.com/posts/understanding-vm-dispatch/