F* (programming language): Difference between revisions

Revision as of 06:01, 21 June 2024

Latest revision as of 11:24, 5 July 2025

(9 intermediate revisions by 6 users not shown)

Line 5:

| logo = Fstar-official-logo-2015.png

| logo size = 128px

| logo caption = The official FstarF* logo

| paradigm = [[Multi-paradigm programming language|Multi-paradigm]]: [[Functional programming|functional]], [[Imperative programming|imperative]]

| family = [[ML (programming language)|ML]]: [[Caml]]: [[OCaml]]

Line 11:

| developers = [[Microsoft Research]],<br/>[[French Institute for Research in Computer Science and Automation|Inria]]<ref name="MS-Inria">{{cite web |url=https://www.microsoft.com/en-us/research/collaboration/inria-joint-centre/ |title=Microsoft Research Inria Joint Centre |website=MSR-INRIA}}</ref>

| released = {{Start date and age|2011}}

| latest release version = v2023.09v2025.03.25<ref name="GitHubCode"/>

| latest release date = {{Start date and age|2023|092025|03|26|df=y}}

| typing = [[Dependent types|dependent]], [[Type inference|inferred]], [[Static typing|static]], [[Strong and weak typing|strong]]

| programming language = F*

Line 21:

| implementations =

| dialects =

| influenced by = [[Coq (software)|Coq]], [[Dafny (programming language)|Dafny]], [[F Sharp (programming language)|F#]], [[Lean (proof assistant)|Lean]], [[OCaml]], [[Coq (software)|Rocq]], [[Standard ML]]

| influenced =

}}

Line 45:

|publisher=Association for Computing Machinery

|url=https://dl.acm.org/doi/10.1145/2034773.2034811

|access-date=17 April 2023|url-access=subscription

|access-date=17 April 2023}}</ref><ref>{{cite web |url=https://www.microsoft.com/en-us/research/project/the-f-project/ |title=The F* Project |website=Microsoft |access-date=20 April 2023}}</ref> and is under active development on [[GitHub]].<ref name="GitHubCode">{{cite web |url=https://github.com/FStarLang/FStar |title=FStarLang/FStar |website=GitHub |access-date=2318 AprilMay 20242025}}</ref>

==History==

Line 57 ⟶ 58:

=== Data types ===

Common primitivesprimitive [[Primitive data type|data types]] in F* are <code>bool</code>, <code>int</code>, <code>float</code>, <code>char</code>, and <code>unit</code>.<ref name=":0" />

==References==

Line 122 ⟶ 123:

[[Category:Cross-platform free software]]

[[Category:Software using the Apache license]]

[[Category:Statically typed programming languages]]

{{Prog-lang-stub}}