Soy estudiante de matemáticas.
Respuesta
¿Demasiados anuncios?
La Teoría de Tipos se inventó como posible fundamento de las matemáticas. Más tarde se vinculó al cálculo lambda, y ahora es un ejemplo paradigmático de la Correspondencia Curry-Howard . Más tarde, sin embargo, se relacionó con la teoría de categorías (especialmente teoría de categorías superiores ), y es un campo de investigación muy activo. Para más información aquí o aquí .
He aquí algunas aplicaciones rápidas:
- Fundamentos de las matemáticas (como alternativa informática a la teoría de conjuntos)
- Teoría de los lenguajes de programación (los lenguajes de programación son más seguros gracias a los sistemas de tipos)
- La teoría de las homotopías (algo sorprendente, cf. HoTT )
Si quieres más recursos, un amigo mío hizo una página github todo sobre el aprendizaje de la teoría de tipos. La lectura de la tabla de contenidos le dará una idea de por qué la gente se preocupa, y también tendrá enlaces directos a los recursos para el aprendizaje del material pertinente:
¡buena suerte!
Espero que esto ayude ^_^
