F* (programming language): Difference between revisions

Revision as of 11:22, 14 May 2024

Revision as of 06:01, 21 June 2024

Line 17:

| operating system = [[Cross-platform software|Cross-platform]]: [[Linux]], [[macOS]], [[Windows]]

| license = [[Apache License 2.0|Apache 2.0]]

| website = {{URL|www.fstar-lang.org}}

| file ext = .fst

| implementations =

Line 54:

=== Operators ===

F* supports common arithmetic [[Operator (computer programming)|operators]] such as <code>+</code>, <code>-</code>, <code>*</code>, and <code>/</code>. Also, F* supports relational operators like <code><</code>, <code><=</code>, <code>==</code>, <code>!=</code>, <code>></code>, and <code>>=</code>.<ref name=":0">{{Cite book |last=Swamy |first=Nikhil |url=https://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf |title=Proof-Oriented Programming in F* |last2=Martínez |first2=Guido |last3=Rastogi |first3=Aseem |date=Jan 14, 2024}}</ref>

=== Data types ===

Line 74:

|year=2017

|title=Dijkstra Monads for Free

|url=https://www.fstar-lang.org/papers/dm4free/

|book-title=44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

}}

Line 92:

|year=2016

|title=Dependent Types and Multi-Monadic Effects in F*

|url=https://www.fstar-lang.org/papers/mumon/

|book-title=43nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

}}

* Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (2024). ''[https://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf Proof-Orented Programming in F*].''

==External links==

*{{Official website|www.fstar-lang.org}}

*{{GitHub|FStarLang}}

*[https://www.fstar-lang.org/tutorial/ F* tutorial]

{{ML programming}}