Back
F* (programming language)
English
F* (プログラミング言語)
Japanese
F*
Korean
F*
NB
F*
Russian
F* (dasturlash tili)
Uzbek
F*
Chinese
F*
呢篇文可能要
清理或者重寫
，令佢更符合維基百科嘅
質素標準
。
如果你有能力又咁啱得閒，可以
改善吓呢篇文
。
F*（英讀：F star）係一個由微軟研究院同埋INRIA主導開發嘅、基於ML嘅依賴類型函數式程式語言，主要用喺程式嘅形式化驗證。
F*
係
電算
楔位文
，你可以
編輯佢
充實內容。
From
Wikipedia
, the free encyclopedia · View on
Wikipedia
Developed by
Nelliwinne
