F* Tutorial

Resource | v1 | created by jjones |
Type Book
Created unavailable
Identifier unavailable


The first four parts of this book explain the main features of the language using a variety of examples. You should read them sequentially, following along with the associated code samples and exercises. These first four parts are arranged in increasing order of complexity—you can stop after any of them and have a working knowledge of useful fragments of F*. The remaining parts of the book are more loosely connected and either provide a reference guide to the compiler and libraries, or develop case studies that the reader can choose depending on their interest. Of course, some of those case studies come with prerequisites, e.g., you must have read about effects before tackling the case study on parsers and formatters.


official for F*

F* (pronounced F star) is a functional programming language inspired by ML and aimed at program verif...

recommends Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable...

recommends Type-driven development with Idris

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the p...

Edit details Edit relations Attach new author Attach new topic Attach new resource
0.0 /10
useless alright awesome
from 0 reviews
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 0.0 /10
beginner intermediate advanced
Resource clarity 0.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 0.0 /10
none basics intermediate advanced expert
Comments 0
Currently, there aren't any comments.