F* est un nouveau langage de programmation créé par des chercheurs de Microsoft Research et de l'INRIA. Il est basé sur la famille des langages ML et est conçu pour être une alternative plus fiable aux langages existants.
Le langage possède un certain nombre de caractéristiques qui le rendent plus fiable que les autres langages. Par exemple, il utilise un système de types qui permet d'éviter les erreurs. Il possède également un système qui permet aux programmeurs de spécifier le comportement des programmes. Cela permet de s'assurer que les programmes se comportent comme prévu.
Le langage est encore en cours de développement, mais il est déjà utilisé dans certains projets de recherche. Il peut être téléchargé à partir du site Web de Microsoft Research.