[Ur] [Bulk] Re: A few questions

[Manu]

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, gdp3 at cs.waikato.ac.nz 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur