F # tiene citas de código escritas y no tipificadas y me pregunto cuáles son los casos de uso donde uno escogería uno sobre el otro.

¿Es la distinción solo conveniencia y las citas sin tipo y tipificadas son convertibles a cada una en todos los casos o son cotizaciones mecanografiadas e. sol. ¿Un subconjunto de los posibles con citas sin tipo?

¿Hay algún ejemplo que solo funcione con tipos escritos, pero no con citas no tipificadas, o al revés?