Hay muchas razones prácticas para usarlo, por nombrar algunas: PNL, visión artificial, motores de búsqueda, gráficos por computadora, motores de videojuegos, etc.
Pero personalmente me gusta más la parte teórica. Por ejemplo, existe la conexión subyacente entre las matemáticas y la programación que nos brinda el isomorfismo de Curry-Howard.
Simplemente dice que escribir programa equivale a probar algún teorema en lógica y viceversa.
- Cómo crear un cuadrado mágico usando números que no están en progresión aritmética
- ¿De cuántas maneras diferentes puede alguien pintar un dodecaedro con doce colores?
- ¿Cuáles son los "lugares matemáticos" que un viajero puede visitar en Europa?
- ¿Qué es un subconjunto adecuado con un ejemplo?
- ¿Es [math] \ {1,2,3,4 \} [/ math] lo mismo que [math] \ {1, \ {2,3,4 \} \} [/ math] en la teoría de conjuntos?
También tiene una conexión profunda con la teoría de categorías también. Intenta leer este libro para entenderlo mejor:
Teoría de la categoría para programadores: el prefacio
Los monoides, functores, mónadas, álgebras son patrones muy útiles que nos permiten escribir un código mejor y más pequeño para cumplir con nuestros propósitos mientras creamos algo con la programación. Además, nos muestran la unidad en los lugares donde ni siquiera habíamos esperado verla: listas, árboles, matrices, tipos anulables, observables, enumeradores, promesas, ¡tienen tanto en común que te sorprenderás cuando te des cuenta! ¡Así que ve por las matemáticas si tienes el presentimiento de hacer eso!
Y un pequeño consejo de Donald Knuth para el final:
