Re: type-checking [Was: What is Perl?]

[Chaim Frenkel]

>>>>> "DS" == Dan Sugalski <[EMAIL PROTECTED]> writes:

DS> I think I'm missing the point. Why pull 'em out like that? Why not just put 
DS> the code in the body of the sub? Though a good post condition would benefit 
DS> from some sort of unconditional catch of return, I suppose. Perhaps 
DS> allowing continue on the outer sub block...


Because the pre, post, invariants should only be executed, if and only
if, the user requests it.

Further, they are _not_ part of the sub, they are an external contract
between the caller and the callee.

<chaim>
-- 
Chaim Frenkel                                        Nonlinear Knowledge, Inc.
[EMAIL PROTECTED]                                               +1-718-236-0183