最引人瞩目的是它的hot reload特性。还有它的soundness类型系统。