F* ist eine neue Programmiersprache, die von Forschern bei Microsoft Research und INRIA entwickelt wurde. Sie basiert auf der ML-Sprachfamilie und soll eine zuverlässigere Alternative zu bestehenden Sprachen darstellen.
Die Sprache hat eine Reihe von Merkmalen, die sie zuverlässiger machen als andere Sprachen. So verwendet sie beispielsweise ein Typensystem, das dazu beitragen kann, Fehler zu vermeiden. Außerdem verfügt sie über ein System, mit dem Programmierer das Verhalten von Programmen festlegen können. Dies kann dazu beitragen, dass sich Programme wie vorgesehen verhalten.
Die Sprache befindet sich noch in der Entwicklung, wird aber bereits in einigen Forschungsprojekten eingesetzt. Sie kann auch von der Microsoft Research Website heruntergeladen werden.