Whiley 是一个轻量级面向对象和函数式编程语言，目标代码在 Java 虚拟机上执行。Whiley 在编译时就可以排除很多错误，例如除0、数组越界和