¿Cuáles son algunos ejemplos impresionantes de código funcional?

Question

Me estoy cansando de tener que codificar explícitamente para multinúcleo si quiero más velocidad, particularmente cuando estoy escribiendo un guión único. Mi cuadro dev ya tiene 8 núcleos y ese número sube mucho más rápido que la velocidad del reloj. Los lenguajes funcionales parecen ofrecer una vía de escape potencial, pero aún no me he esforzado por dominar uno de ellos.

me gustaría ver algunos trozos de muestra de código del mundo real que son mucho mejor y/o más paralelizable que las alternativas no funcionales. No soy exigente con el idioma, estoy más interesado en los conceptos.

Gracias!

Answer 1

Este video (largo, pero muy bueno) proporciona tanto una introducción a F# y una demostración convincente de lo fácil que es para paralelizar código en el lenguaje:

http://channel9.msdn.com/pdc2008/TL11/

Answer 2

¿Qué tal MapReduce? Es increíblemente paralelizable y, aunque no está implementado en lenguajes funcionales en lo que respecta al papel, está inspirado en Lisp's map y reduce.

Answer 3

Su pregunta está pidiendo derecho material en el estado del arte. Creo que su mejor introducción a este campo, con ejemplos, es el libro Implicit Parallel Programming in pH de Nikhil y Arvind.

Answer 4

Hay un ejemplo extendido de un indexador/buscador de texto usando mapreduce en el Capítulo 20 ("Programación de CPU multi-core") de Programming Erlang. No sé cuán impresionante es eso, pero parece que los mortales pueden escribir.

Answer 5

LINQ es un buen ejemplo de programación funcional en lenguajes principales. Código reificado y mónadas En MI C#? :) De todos modos, w.r.t. Enhebrado, hay mención de Parallel LINQ. Al usar inmutabilidad y funciones de orden superior (y Expresión, tal vez), las bibliotecas pueden paralelizar cosas para nosotros.

Y otro enlace a F # con async workflows. Lo que es impresionante es la capacidad de tomar el código de sincronización, y con algunas pequeñas anotaciones convertirlo en código asíncrono. El código conserva muchas de las cualidades imperativas que podrías estar usando. No tiene que cambiar completamente las cosas para aprovechar esto; el compilador lo maneja todo.

Answer 6

Purely Functional Data Structures (larga PDF), por Chris Okasaki.

Answer 7

Un profesor mío solía decir en broma que el mayor ejemplo de código funcional es el código que no está escrito.