Aplicación práctica de "Plátanos, lentes, sobres y alambre de púas"?

Question

En primer lugar, el título torpe hace referencia directamente a este documento:

http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf

entiendo el valor teórico de esto, ya que los modelos de la mayoría, si no todos, la programación de la semántica.

¿Qué problemas se resuelven más eficiente y prácticamente con un paradigma de programación basado en esto? ¿Qué problemas no son?

Imagina todos los programas escritos donde el 80% de toda la lógica involucra a estos operadores. Me pregunto si un lenguaje que forzó a los operadores del usuario podría aprovechar su estructura ...

Answer 1

Este artículo forma parte de una larga serie de exploraciones teóricas relacionadas. El área de investigación es lo que los programadores funcionales llaman programación genérica (que de manera confusa es diferente de lo que los programadores de C++ llaman programación genérica). La idea es que escriba sus funciones de tal manera que cuando defina un nuevo tipo de datos, automáticamente obtenga un nuevo código para ir con él. Un problema clásico que a la gente le gustaría resolver de esta manera es escribir una imagen de los datos en el disco y luego volver a leer los datos isomorfos de la imagen del disco.

Si quieres tener una idea de las aplicaciones prácticas de estas ideas, recomiendo excelente documento de Ralf Hinze Generics for the Masses, que muestra cómo se puede probar todas estas ideas extravagantes en el viejo y simple Haskell. Por ejemplo, he utilizado estas técnicas para implementar la sustitución de evitar la captura de lenguajes intermedios muy complicados dentro de los compiladores.

Ralf ha escrito varios artículos buenos sobre programación genérica, al igual que Jeremy Gibbons. Sus cosas no están tan lejos como los plátanos, lentes, etc.

Answer 2

Lo que esto significa es que las soluciones que se pueden modelar en un paradigma también se pueden modelar en la otra, y que una puede ser convertido programáticamente en el otro.

Ahora, ciertos problemas se resuelven más fácilmente en un paradigma que en el otro. Además, es más fácil probar propiedades en un paradigma que en el otro. Entonces, si puede mostrar esa equivalencia, abre la puerta para resolver ciertos problemas de la manera más fácil y luego convierte la solución en el paradigma deseado.

Esto es similar a la cosa de las mónadas. El gran problema con las mónadas no es cómo escribir una. El gran problema con ellos es que hay toneladas de teoremas sobre mónadas que se pueden aplicar una vez que reduzcas tu problema a una mónada. El mismo principio se aplica aquí.