Se dice que un tipo X es compatible con un tipo Y si todos los valores que se ajustan al tipo X también se ajustan al tipo Y. El siguiente gráfico obtenido de la documentación de Microsoft muestra la compatibilidad entre tipos:
Una flecha desde el tipo X al tipo Y indica que el tipo X es compatible con el tipo Y. Así vemos que:
- el tipo none es compatible con todos (esta relación de compatibilidad es transitiva, lo que implica que el tipo none es compatible también con el tipo any)
- ningún tipo es compatible con el tipo none (salvo el propio tipo none pues un tipo siempre es compatible consigo mismo)
- el tipo any no es compatible con ningún tipo (salvo consigo mismo, por lo ya explicado)
