[Ur] A few questions

[gdp3 at cs.waikato.ac.nz]

>> 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