Buscando el Léxico de Programación Funcional

Question

Conocer el argot de un campo me ayuda mucho, especialmente porque me permite conversar inteligentemente con aquellos que saben mucho más que yo, así que me gustaría encontrar un buen léxico de términos de Programación Funcional.

Por ejemplo, encuentro repetidamente estos: Functor, Arrow, Categoría, Kleisli, Monad, Monoid, un verdadero zoológico de morfismos, etc. También noto que muchos de ellos aparecen con prefijos como "covariante", "co" , "endo-", etc.

De estos, puedo decir que realmente entiendo Monoid y Covariant y de alguna manera obtengo Monad, pero el resto todavía son un galimatías para mí. (Tenga en cuenta que no me refiero a esta lista como exhaustiva y no estoy buscando que se definan o describan aquí, estoy buscando recursos de aprendizaje.)

¿Alguien puede indicarme un léxico FP? No necesita estar en línea, siempre que sea posible encontrarlo (y no es un volumen raro por el que tendría que pagar muchas decenas de dólares).

Answer 1

Como han señalado otras respuestas, para comprender realmente esos términos, debe estudiar la teoría de categorías. Sin embargo, la Teoría de categorías es muy abstracta y puede que no te ayude a construir tu intuición inmediatamente. Para ver los conceptos abstractos en acción, recomiendo mucho la Typeclassopedia (PDF) (blog announcement).

Answer 2

Muchos de los términos que utilizó como ejemplo son de la teoría de categorías, y el mejor recurso que conozco en las circunstancias es "la teoría de categorías básico para los informáticos" de Benjamin Pierce

Answer 3

Estos no son términos de programación funcionales; son términos de la Teoría de la Categoría. Es cierto que un puñado de programadores funcionales de élite parece usar la teoría de categorías para obtener información sobre la programación funcional (Conal Elliott, Ralf Hinze, Chung-Chieh Shan, telefonear a su oficina), pero estas personas son una minoría. En cuanto a estos términos, luché con el libro de Pierce pero no conozco una fuente mejor — aunque Dan Piponi tiene mucho material relacionado en su blog; Te animo a que mires allí. (2012 actualización: Harold Simmons tiene un nuevo libro sobre teoría de categorías que se ve bastante bien, y fue muy bien revisado por Computing Reviews [detrás de un paywall]. La única queja es que los ejemplos son todos de matemáticas y no desde computación.)

Algunas palabras que puede escuchar de los programadores funcionales: "función de mapa", "función de plegado", "función de orden superior", "programación sin puntos", "tipo de suma", "tipo de producto" , "catamorfismo", "codificación de la Iglesia", "programas de cálculo", "programación dirigida por tipo", "llamada correcta", "parámetro de acumulación". No sé de un buen léxico reunido en un solo lugar. El libro de Graham Hutton Programación en Haskell podría ser un lugar para comenzar, o el libro anterior de Richard Bird y Phil Wadler.