Я считаю, что переключатель всегда неверен:
Тело дела - это код, а - это поведение ,
следовательно, вещь в этом случае («значение») имеет поведенческий тип,
следовательно, полиморфизм был бы лучшим выбором.
Это означает, что значения на самом деле являются типами, например, число 1 - это тип всего, что в некотором роде равно 1. Нам остается только сопоставить единообразие с поведением для нашего конкретного случая, и мы имеем полиморфизм со всеми этими другими типами (хорошая вещь).
Это проще сделать в некоторых языках, чем в других, к сожалению, большинство широко используемых языков довольно ужасны, поэтому путь наименьшего сопротивления неверен, и люди в конечном итоге пишут переключатели или операторы (то же самое) 1009 *