F* es un nuevo lenguaje de programación creado por investigadores de Microsoft Research e INRIA. Se basa en la familia de lenguajes ML y está diseñado para ser una alternativa más fiable a los lenguajes existentes.
El lenguaje tiene una serie de características que lo hacen más fiable que otros lenguajes. Por ejemplo, utiliza un sistema de tipos que puede ayudar a evitar errores. También tiene un sistema que permite a los programadores especificar el comportamiento de los programas. Esto puede ayudar a garantizar que los programas se comporten según lo previsto.
El lenguaje está aún en fase de desarrollo, pero ya se utiliza en algunos proyectos de investigación. También se puede descargar del sitio web de Microsoft Research.