Re: Eu improvements (part 4)
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.
--
"Any programming problem can be solved by adding a level of indirection."
--anonymous
"Any performance problem can be solved by removing a level of indirection."
--M. Haertel
"Premature optimization is the root of all evil in programming."
--C.A.R. Hoare
j.
|
Not Categorized, Please Help
|
|
