framework MVC en Haskell

Question

que he estado reflexionando en torno a la idea de cómo le gustaría construir un marco MVC en Haskell en el molde de WPF o AngularJS, pero parece que no puede encontrar los tipos de clave o idea para obtener empezado. Entonces, desafortunadamente, pregunta vaga: ¿alguien más ha estado pensando en este problema?

veo edit-lentes, multi-placa y Compos, pero creo que todos ellos resuelven problemas ligeramente diferentes.

Mi bosquejo de cómo funcionaría sería:

1. crear un modelo como una estructura de datos sin formato Haskell
2. Crear un conjunto de 'lentes' o comandos para modificar su modelo.
3. Escribe un HTML (o lo que sea) la plantilla que se parametrizable por los tipos en el modelo.

.

data Model = Page { _title :: String, _content :: [(Int, String)] } 

title :: Lens Model String 
content :: Int -> Lens Model (Maybe String) 

Entonces me gustaría ser capaz de escribir una función:

Model -> Template Model -> Html 

y una función para actualizar partes de mi vista cuando solicito una lente.

Lens Model a -> a -> HtmlTemplate Model -> [(Path, Html)] 

así que supongo que la pregunta es - qué tipo sería una lente tomar que puede operar en una estructura de datos, a continuación, se utiliza para describir el cambio en otra.

Una posibilidad parece ser crear un GADT que envuelva todos los lentes y luego plantilla el HTML sobre el tipo GADT que luego se puede usar para hacer coincidir con la plantilla en cada paso. p.ej.

data Lenses a b where 
    Title :: Lens Model String -> Lenses Model String 
    Item :: Lens Model String -> Lenses Model (Maybe String) 

Luego, un tipo de datos de plantilla Html, p.

data HtmlTemplate a = Text String 
       | Element String [Attrib a] 
       | forall b. Binding (Lenses a b) (Html b) 

Con el cual el elemento de unión se puede adaptar directamente.

pero que parece casi derrotar el punto, porque el modelo se une entonces a la cadera a la vista.

Me pregunto tiene cualquiera (más lista que yo) por ahí pensar acerca de cómo podría funcionar esto? O incluso si esta es una buena idea?

Answer 1

He estado construyendo una gran aplicación comercial usando lentes-based "MVC" en Haskell.

• estructuras de datos puramente funcional
• lentes para establecer y obtener (y mantener los datos consistentes)
• A DSL para la generación de una vista (plantilla) atado a cada lente.

Esta ha sido una gran experiencia, y definitivamente recomiendo el enfoque para la estructura detallada de la edición de estructuras complejas.

Las fuerzas de aproximación que

• No Hack, pero las interfaces utilizan lentes como seguras para su modelo interno
• Clara separación de la modelo -> vista
• comprobación de tipos para todo - los tipos de lentes para generar código de vista

Hay muchas formas en que puede diseñarlo, pero creo que es un enfoque de diseño muy sólido. Querrá un buen soporte DSL para la parte de GUI.