Этот пост предназначен для скептиков и новичков для систем типа и направлен на сформулировать, а не тяжело продать. Сначала мы посмотрим на то, как в вашем динамическом типом кодировании появляются конвенции по статическим типам. Затем мы вернемся и попытаемся подумать о том, что это явление говорит нам о том, как мы хотим