类型系统与脚踝围巾

以赤裸的脚踝为基础的时尚被称为“flanking”，非常流行，但是在年轻人中，有一种新的趋势正在出现，它是寒冷的气温与前进的时尚之间权衡。越来越多的青少年穿着踝围巾，这样他们才不会感冒

程序员观点：一个合适的类型系统可以阻止这种情况。