F* (programming language): Difference between revisions

Revision as of 17:09, 22 February 2020

Revision as of 17:20, 22 February 2020

Line 4:

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

| caption =

| paradigm = [[multi-paradigm programming language|Multi-paradigm]]: [[functional programming|functional]], [[imperative programming|imperative]], [[formal verification]]

| latest release version = [https://github.com/FStarLang/FStar repository]

| latest release date =

| typing = [[staticDependent typingtypes|Static]], [[strong typing|strongDependent]], [[type inference|inferred]], [[dependentstatic typestyping|static]], [[formalstrong verificationtyping|strong]]

| implementations =

| dialects =

Line 13:

| influenced =

| programming language =

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

| license = [[Apache License 2.0]]

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

| file ext =

| designers = [[Microsoft Research]], MSR-and [[Inria,]]<ref>{{cite web|url=http://www.msr-inria.fr/|title=Microsoft Research Inria Joint Centre|website=MSR-INRIA}}</ref> and [[Inria]]

| file_ext = .fst

}}