Почему типы так много значат для программистов? «Типы — одно из основополагающих понятий для программистов. Они же являются бесконечным источником споров в интернете. Поэтому давайте порассуждаем, что типы вообще значат (по крайней мере, для нас), и почему разработчики так много говорят (и спорят) о них»: http://amp.gs/jl7nM