или не желательно так делать?
это хорошее умозаключение, особенно если последнюю часть отбросить - ну или нежелательно так делать - исключения из правил когда приходиться костылять не должны присутствовать в правиле и должны по максимуму отсутствовать в коде
не читал все выше (сорри), но https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ Это мнение одного из крупнейших type theorists. Можно с ним не соглашаться, но rationale, думаю, будет понятна.
грубо говоря, типы дают тебе статические гарантии, и если уж эти гарантии продавать, то не за мелкий прайс
что такое динамический тип?
Обсуждают сегодня