Standard ML(SML),是一個函數式、指令式、模塊化的通用的程式語言,具有編譯 ... CakeML,是一個基於了SML實質性子集的語言,它實現為x86-64機器碼的REPL,帶有正式 ...
確定! 回上一頁