Whiley 是一個(gè)輕量級(jí)面向?qū)ο蠛秃瘮?shù)式編程語(yǔ)言，目標(biāo)代碼在 Java 虛擬機(jī)上執(zhí)行。Whiley 在編譯時(shí)就可以排除很多錯(cuò)誤，例如除0、數(shù)組越界和空引用等。

示例代碼：

void System::main([string] args):
    int i = 123456789101112131415161718
    real r = 1234567.192849103954720300939
    out->println(str(i))
    out->println(str(r))