Я бы немного не так ставила вопрос. Речь идет о том, что для разного возраста хороши разные методы типирования. До 12 лет лучше не опираться на мерность функций, а типировать по дихотомиям. Ту же вертность, например, у маленьких детей уже хорошо видно...
