Whiley 0.3.1下载地址

一种编程语言，以帮助您的工作。

Whiley是一个简单的，易于使用的，实验的编程语言，特别适合于安全关键系统。

的设计Whiley的指导原则是能够消除尽可能多的错误，可能在编译的时候。