Me gustaría entender cuál es la diferencia entre estos dos conceptos de programación. El primero representa la ausencia de tipo de datos y en el segundo el tipo existe pero no hay información. Además, reconozco que la Unidad proviene de una base teórica de programación funcional, pero aún no puedo entender cuál es la utilidad de la unidad primitiva (por ejemplo, en un programa F #).