F* (dasturlash tili)

F* (F star deb talaffuz qilinadi) — dasturni tekshirishga qaratilgan funktsional dasturlash tilidir. Bu dasturlarning aniq spetsifikatsiyalarini, jumladan, funktsional toʻgʻriligi va xavfsizlik xususiyatlarini ifodalash imkonini beradi. F* turini tekshirgich SMT yechish va qoʻlda isbotlash kombinatsiyasidan foydalangan holda dasturlar oʻz spetsifikatsiyalariga mos kelishini isbotlashga qaratilgan. F* da yozilgan dasturlarni bajarish uchun OCaml, F# va C ga tarjima qilish mumkin. F* ning oldingi versiyalari JavaScriptga ham tarjima qilinishi mumkin edi.

F* ning soʻnggi versiyasi toʻliq F* ning umumiy kichik toʻplamida va OCaml yuklash bloklarida yozilgan. Bu ochiq manba (Apache Litsenziyasi 2.0 ostida) va GitHubda faol ishlab chiqilmoqda.

 Manbalar 

 Adabiyotlar 




 Havolalar 

 F* Bosh sahifa
 GitHub-da F* manba kodi
 F* darslik
Turkum:2013-yilgi dasturlar
Turkum:Dasturlash