No estoy seguro de cómo diseñar una biblioteca útil usando los combinadores

Question

He estado leyendo acerca de los combinadores y he visto lo útiles que son (por ejemplo, en Haskell's Parsec). Mi problema es que no estoy muy seguro de cómo usarlos prácticamente.

Aquí hay un resumen del problema: las distribuciones se pueden generar, filtrar y modificar. Las distribuciones se pueden combinar para crear nuevas distribuciones.

Las interfaces básicas son (en la terminología de tipo pseudo-Haskell):

generator::  parameters -> distribution 

selector::  parameters -> (distribution -> distribution) 

modifier::  parameters -> (distribution -> distribution) 

Ahora, creo que veo tres combinadores:

combine::  generator -> generator -> generator 

filter::  generator -> selector -> generator 

modify::  generator -> modifier -> generator 

Son estos combinadores realidad? ¿Tienen sentido los combinators/hay algún otro combinador obvio que me falta?

Gracias por cualquier consejo.

Answer 1

¡Las funciones selector y modifier ya combinan perfectamente! Junto con generator y combine que puede hacer cosas por el estilo (Voy a asumir distribuciones estadísticas de concreción y simplemente hacer las cosas!):

modifier (Scale 3.0) $ generator StandardGaussian `combine` selector (LargerThan 10) . modifier (Shift 7) $ generator (Binomial 30 0.2) 

Es posible que tenga que perder el tiempo un poco con la prioridad de la cosechadora operador para que esto funcione sin problemas :)

En general, cuando estoy tratando de diseñar una biblioteca combinatoria para los valores del tipo A, me gusta mantener mi A "al final", por lo que la parcialmente aplicada Los combinadores (su selector y modifier) se pueden encadenar junto con . en lugar de tener que flip a través de aros.

Este es un buen artículo de blog que puede ayudarlo a diseñar combinators, influyó mucho en mi pensamiento: Semantic Editor Combinators.

EDIT: Puede que haya leído mal su pregunta, dada la firma de tipo de combine. Tal vez me esté perdiendo algo, pero ¿no serían las distribuciones los objetos más naturales en los que tu combinador debería funcionar?