Whiley

Whiley 係一隻程式語言，佢係攞嚟做實驗嘅，佢結合咗函數式範式同埋命令式範式嘅特性，仲用埋函數前置條件、後置條件和同埋循環唔變量嘅規範。呢隻語言嘅畀人歸咗入咗「流類型」（英文：flow typing）。