- ¿Se descubre o inventa la programación de computadoras?
Philip Wadler, uno de los maestros de programación actuales más estimados, argumenta que hay lenguajes inventados (lenguajes no funcionales) y lenguajes descubiertos (lenguajes funcionales puros).
Los lenguajes funcionales puros se descubren porque conforman la correspondencia Iglesia-Turing-Lambek.
La correspondencia Iglesia-Turing-Lambek tiene tres nombres porque se descubrió independientemente al menos tres veces, en diferentes formas que son isomórficas y se ha demostrado que corresponden.
- ¿Cómo se determina si su idea es digna de patente y si infringe una patente existente?
- ¿Qué mejora importante se hará a las cámaras en el futuro?
- Cómo inventar un idioma
- ¿Por qué uno tiene que presentar una patente por separado en cada país para la misma invención?
- ¿Por qué se inventó la ropa si la gente sigue diciendo que no es natural desnudar todo, así que corramos desnudos?
La evidencia del descubrimiento es el hecho de que la misma idea subyacente se encontró en 3 o más contextos y se demostró que es la misma después.
Por lo tanto, la IDEA de la programación en general y la Programación funcional en particular que se basa en estos descubrimientos proporciona “lenguajes descubiertos”.
Según Wadler, se inventan otros idiomas, que también sostienen que un lenguaje descubierto es más comprensible y permite lograr más con menos trabajo. (Mis palabras, no las suyas; es decir, mi interpretación de lo que creo que dijo).