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