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))