Hello Gian
Can you talk a bit more about the work you are doing with Ur ?
Is it something you'd be willing to share ?
I want to do some work with Ur/Web and I am interested in every bit
of examples I can get (beyond the demos)...
Manu
On 15 Sep 2009, at 11:44, [email protected] wrote:
nitralime wrote:
I personally don't like the "hype" around the so called "design
patterns"
which are sold as a greate achievement!! It is by and large "common
sense"!
Forcing a certain organizational discipline could be however useful
sometimes.
Having been doing a reasonable amount of Ur/Web programming over the
last
few days, I can at least offer some anecdotal evidence that the type
system is sufficient to enforce certain disciplines upon the
structure of
your program.
If you wished to employ an MVC style, for example, then using "MVC-
style"
constructs (with an accompanying set of types) to build your
application
will do the trick. Unless you actively work around these MVC
constructs
(by writing non-MVC-style code and manually ensuring that the type
checking still passes), this programming style will be "enforced" by
the
type system. You might have 'model', 'view' and 'controller' types
that
control the types of operations that are well-defined over these
constructs.
It's worth noting that this is likely a stronger kind of "style
enforcement" than is offered by any of the traditional MVC
frameworks in
common use today, where it is relatively easy to write inline PHP,
Python
or Ruby code that circumvents the structure imposed by the MVC
framework.
-Gian
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
