User:MagnusY/F* (programming language)

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This is the sandbox page where you will draft your initial Wikipedia contribution.

If you're starting a new article, you can develop it here until it's ready to go live.

If you're working on improvements to an existing article, copy only one section at a time of the article to this sandbox to work on, and be sure to use an edit summary linking to the article you copied from. Do not copy over the entire article. You can find additional instructions here.

Remember to save your work regularly using the "Publish page" button. (It just means 'save'; it will still be in the sandbox.) You can add bold formatting to your additions to differentiate them from existing content.

Bibliography sandbox

Article Draft

Overview

Operators

F* supports common arithmetic operators such as +, -, *, and /. Additionally, F* supports relational operators like <, <=, ==, !=, >, and >=.^[1]

Data types

Common primitives data types in F* are bool, int, float, char, and unit.^[1]

References

^ ^a ^b Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (Jan 14, 2024). Proof-Oriented Programming in F* (PDF).

Sources:

Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (2024). Proof-Orented Programming in F*.

[:0-1] Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (Jan 14, 2024). Proof-Oriented Programming in F* (PDF).

[1]