FPTS, combinado con TypeScript, permite definir tipos de datos y estructuras que hacen que ciertos estados indebidos generen errores de compilación, evitando así que dichos estados ocurran en tiempo de ejecución.