Примерно так. Вот только данные на разные входы могут приходить разных типов. А код, который их будет обрабатывать, должен ориентироваться на какой-то один. Эта проблема возникает (для типизированных языков) при текущей технологии генерации кода, когда тип данных определяется и преобразуется на этапе генерации.
В пакете Delphi такой проблемы нет, но есть другая - конвертация типов в runtime.