F*

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

F*（英讀：F star）係一個由微軟研究院同埋INRIA主導開發嘅、基於ML嘅依賴類型函數式程式語言，主要用喺程式嘅形式化驗證。

 F*係電算楔位文，你可以編輯佢充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=F*&oldid=1907465」收