Re: Eu improvements (part 4)

new topic     » goto parent     » topic index » view thread      » older message » newer message

Jason Gade wrote:
> 
> Chris Bensler wrote:
> > Types are useful. They just aren't used as often as they should be because
> > they
> > lack enough value. The concept is also different than structures. While they
> > are similar, a type construct is eu's form of assertion used primarily for
> > debugging.
> > We don't want to be able to turn off the member typechecking for structures.
> 
> Why not? Use typechecking for debugging and ensuring correctness and once it
> is correct then you can turn it off. I don't see structures and typechecking
> as fundamentally different things. At least, they shouldn't be.

A type construct is used for assertion of any type. Binding it with the concept
of structures will create confusion. A type construct is used for verifying the
integrity of the data itself, whereas a structure is used to define how the data
is arranged. I agree that they are related, but I think that the purpose of the
structure is a very separate thing from eu's custom types.


Chris Bensler
~ The difference between ordinary and extraordinary is that little extra ~
http://empire.iwireweb.com - Empire for Euphoria

new topic     » goto parent     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu