Por lo tanto, los lenguajes puramente funcionales tienen su propia clase de potenciales debido a la clara separación entre el código puro y el impuro. He visto varias características que son algo más simples de implementar en Haskell como Nested Data Parallelism o Stream Fusion.¿Posibles optimizaciones en Haskell que todavía no están implementadas en GHC?
Mi pregunta es, ¿qué otras mejoras/optimizaciones son más o menos únicas de Haskell en términos de viabilidad/simplicidad pero aún no implementadas? (En general me preocupa el GHC, pero también me encanta escuchar sobre los demás)
Hay algunos proyectos en este sentido, por ejemplo, Supero (http://community.haskell.org/~ndm/supero/), aunque está construido sobre GHC. Básicamente, la supercompilación es una forma extendida de doblado constante. ¿A quién le importa el tiempo de compilación si solo es para compilaciones optimizadas? –
Además, consulte http://www.cl.cam.ac.uk/~mb566/ –
también, eche un vistazo a http://code.google.com/p/hosc/ (tiene una interfaz de aplicación web) –