Revision as of 17:16, 2 November 2022 edit Citation bot (talk \| contribs) Bots 5,870,099 edits Add: date. \| Use this bot. Report bugs. \| Suggested by Whoop whoop pull up \| #UCB_webform 1005/1877 ← Previous edit		Revision as of 21:27, 17 April 2023 edit undo The Hurdy Gurdy Man (talk \| contribs) 287 edits Updated and moved information from the lead section to a newly created history section. Next edit →
Line 26: Programs written in F* can be translated to [[OCaml]], [[F Sharp (programming language)\|F#]], and [[C (programming language)\|C]] for execution. Previous versions of F* could also be translated to [[JavaScript]]. ~~The~~It ~~latest~~was ~~version~~introduced ofin F2013<ref isname="origin-paper">{{cite ~~written~~journal ~~entirely~~\|last1=Swamy in\|first1=Nikhil a\|last2=Chen ~~common~~\|first2=Juan ~~subset~~\|last3=Fournet of\|first3=Cédric F\|last4=Strub ~~and~~\|first4=Pierre-Yves ~~[[F~~\|last5=Bhargavan ~~Sharp~~\|first5=Karthikeyan ~~(programming~~\|last6=Yang ~~language)~~\|~~F#]],~~first6=Jean ~~and~~\|title=Secure ~~bootstraps~~distributed inprogramming ~~both~~with ~~[[OCaml]]~~value-dependent ~~and~~types ~~[[F~~\|journal=Journal ~~Sharp~~of ~~(programming~~Functional Programming ~~language)~~\|~~F#]].~~date=July It2013 is\|volume=23 ~~open~~\|issue=4 ~~source~~\|pages=402-451 ~~(under~~\|doi=10.1017/S0956796813000142 ~~the~~\|url=https://www.cambridge.org/core/journals/journal-of-functional-programming/article/secure-distributed-programming-with-valuedependent-types/14288BBFE9B373738DC8F60C3E89E3E3 ~~[[Apache~~\|access-date=17 ~~License~~April ~~2.0]])~~2023}}</ref> and is under active development on [[GitHub]].<ref>{{cite web\|url=https://github.com/FStarLang/FStar\|title=FStarLang/FStar\|website=GitHub\|date=3117 ~~October~~April ~~2022~~2023 }}</ref> ==History== ===Versions=== Up until version 2022.03.24 F* was written entirely in a common subset of F* and [[F Sharp (programming language)\|F#]] and supported bootstrapping in both [[OCaml]] and [[F Sharp (programming language)\|F#]]. This was dropped beginning in version 2022.04.02.<ref>{{cite web \|title=fstar.exe is no longer buildable in F# as a .NET executable #2512 \|url=https://github.com/FStarLang/FStar/pull/2512 \|website=Github \|access-date=17 April 2023}}</ref><ref>{{cite web \|title=Consider dropping requirement that F* code has to be valid F# #1737 \|url=https://github.com/FStarLang/FStar/issues/1737 \|website=Github \|access-date=17 April 2023}}</ref> ==References==

F* (programming language): Difference between revisions