2014-08-12 10:31 GMT+02:00 Wojtek Narczyński <wojtek@power.com.pl>:

On 12.08.2014 01:14, Alberto G. Corona wrote:

Wojtek. What you say is exactly what has been solved time ago by fomlets in Web interfaces. There are many formlet library and almost all haskell web framework use formlets.

AFAIK, formlets at the server are very much like PHP, only with neater syntax, strong typing, and the like. Formlets tutorials teach you to put all your validation into the GUI, you really can't do much worse.

I think that this horizontal separating the GUI from his application logic is a wrong conception of separation of concern.. as strange as it may sound, since that makes applications and components non composable. The MVC model is non composable!

A better separation of concern, for many purposes, is the vertical one in which each functionality include its own interface, logic and data model. The obstacle for implementing this kind of separation of concern is mainly technological, because each of the three layes uses different languages, so an horizontal separation is easier. But it is not appropriate for most purposes. It is very bad for creating GUIs!!

http://haskell-web.blogspot.com.es/2014/05/separation-of-concerns-by-problem.html

But, Alberto, your client side formlets look very interesting. I printed your Monad.Reader paper, and I'm definitely going to explore your ideas.

Thanks!

--
Kind regards,
Wojtek Narczyński

--
Alberto.