Thanks for the link! I am not sure though if performance should be the key metric here. Of course, it all depends on the details and use case, but in general c

Thanks for the link! I am not sure though if performance should be the key metric here. Of course, it all depends on the details and use case, but in general correctness and extensibility should be more important in most scenarios.