F* (programming language): Difference between revisions

Revision as of 20:42, 12 October 2019

Revision as of 17:09, 22 February 2020

Line 14:

| programming language =

| operating system = [[Cross-platform]] <br/> ([[Windows]], [[macOS]], and [[Linux]])

| license = [[Apache License 2.0 License]]

| website = {{url|https://www.fstar-lang.org/}}

| file ext =

Line 24:

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 latest version of F* is written entirely in a common subset of F* and [[F Sharp (programming language)|F#]], and bootstraps in both [[OCaml]] and [[F Sharp (programming language)|F#]]. It is open source (under the [[Apache License 2.0 License]]) and is under active development on [[GitHub]].<ref>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub}}</ref>

==References==