跳去內容

Whiley

出自維基百科,自由嘅百科全書

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