¿Cuáles son los software más famosos escritos en Haskell y por qué no hay más? Sé de xmonad y que Standard Chartered lo usó en la producción. ¿Hay otros?

Se me ocurren algunas. Algunas compañías establecidas han comenzado a usar Haskell internamente:

Haskell es utilizado por Facebook, a escala. Entre otras cosas, se utiliza para detectar el spam y la integridad del sitio, lo que significa que todas las escrituras pasan por un servicio de Haskell. Si bien muchos de los detalles del sistema son propietarios, han lanzado Haxl, un DSL para consultas distribuidas eficientes en datos remotos. Están reclutando activamente a Haskellers para al menos dos equipos diferentes dentro de la empresa.

IMVU se está mudando a Haskell a través de varios de sus servicios de back-end. Su ingeniero principal escribió una perspicaz publicación de blog sobre esto: lo que es usar Haskell. Descubrieron que capacitar a los programadores PHP para usar Haskell no es tan difícil y que Haskell fue una gran victoria para el rendimiento, la expresividad y la seguridad.

También hay un montón de empresas más pequeñas y nuevas empresas, pero tienden a no ser famosas. FPComplete tiene una serie de estudios de casos, pero no estoy personalmente familiarizado con ninguna de las compañías. (Sin embargo, algunos parecen relativamente grandes y exitosos).

También hay algunos proyectos públicos interesantes en Haskell. Detexify es un servicio popular para buscar símbolos LaTeX a través del reconocimiento de escritura a mano; El backend está en Haskell.

Otro proyecto popular es Pandoc, el convertidor universal de documentos. Le permite convertir desde 18 formatos de entrada diferentes que van desde Markdown a TeX a .docx a una matriz aún más grande de formatos de salida. ¡Incluso puedes probarlo en línea!

John MacFarlane, el creador de Pandoc (y, de todas las cosas, profesor de filosofía en Berkeley) también escribió algunas otras herramientas en Haskell. Creo que el wiki basado en Gitit Git en realidad tiene una buena cantidad de usuarios, pero no lo uso yo mismo, así que no puedo comentar.

En la misma nota de Git, pero por un autor diferente, tenemos git-annex, una utilidad para administrar archivos grandes (a menudo binarios) con Git. No sé cuántas personas realmente lo usan en este momento, pero recuerdo su historia dando vueltas por los círculos tecnológicos debido a cómo el autor recaudó dinero para desarrollarlo y administró los gastos viviendo en una cabaña en el bosque.

Un proyecto de interés histórico es Pugs, la primera implementación de Perl 6. Desafortunadamente, se vino abajo después de un poco de confusión en la comunidad y Perl 6 nunca se dio cuenta, pero fue un esfuerzo noble.

De ninguna manera es una lista exhaustiva, son solo las empresas y los proyectos con los que estoy familiarizado. También es posible pasar por alto el hecho de que algo que usas está basado en Haskell, especialmente si Haskell solo activa el backend: usé Detexify por un tiempo antes de escuchar que fue escrito en Haskell a través de otro canal.

Aquí hay un software famoso escrito en Haskell:
Nario

un clon de Super Mario Bros, escrito en Haskell

Frag
Juego de disparos en primera persona (un clon de Quake)

Leksah

IDE escrito en Haskell para Haskell. (Leksah deletreó hacia atrás para Haskell)

Y el otro software de ejemplo mencionado por Tikhon Jelvis.

Con respecto al “por qué no hay más”, la razón más importante es que no hay muchos programadores que conozcan a Haskell (en comparación con los lenguajes de programación más populares), y aún menos gerentes que se sientan cómodos vinculando el futuro de sus empresas a lenguaje de programación poco conocido.

Esta es la razón por la cual Haskell es utilizado a menudo por empresas emergentes (donde los programadores están tomando la decisión) o para pequeños proyectos dentro de grandes empresas (para mantener a los programadores satisfechos aprendiendo algo nuevo).

Me vienen a la mente Pandoc, ShellCheck, Idris, PureScript, Elm, Frege, Futhark, Keter y darcs. PureScript y Elm tienen cada uno decenas de miles de usuarios, incluido algún uso en la producción.

Haskell también tiene un ecosistema de biblioteca vibrante, donde cosas como lentes y esquemas de recursividad se vuelven prácticos.

En general, no creo que la popularidad de un lenguaje de programación esté fuertemente correlacionada con su calidad o con algo que nadie entienda.