Whiley 介绍
Whiley 是一个轻量级面向对象和函数式编程语言,目标代码在 Java 虚拟机上执行。Whiley
在编译时就可以排除很多错误,例如除0、数组越界和空引用等。
示例代码:
void System::main([string] args):
int i = 123456789101112131415161718
real r = 1234567.192849103954720300939
out->println(str(i))
out->println(str(r))
Whiley 官网
http://whiley.org/