Contracts Language ZF*
Documentation for the ZF* (pronounced "Z-F-Star") dialect of F*
Before beginning to develop with ZF*, it is worth developing familiarity with a statically typed functional language, such as F#, OCaml, or Haskell. It's worth skimming through the F* tutorial. Note that the F* tutorial also assumes familiarity with F#, OCaml, or Haskell.
F# ( Online ) * F# Programming WikiBook * F# for C#, Java or Python developers * F# Cheat Sheet * Learn F# in Y Minutes F# ( Books ) * Real-World Functional Programming * Expert F# 4.0 OCaml ( Online ) * OCaml Tutorials * Real World OCaml (Dev version) OCaml ( Books ) * Real World OCaml (Slightly out of date. Use the online dev version for more up-to-date information) Haskell ( Online ) * Learn You a Haskell for Great Good! Haskell ( Books ) * Learn You a Haskell for Great Good!