Re: zero_type() & UNDEFINED and _typeof()

I said that UNDEFINED is useful considering the current situation when this kludge exists. The kludge itself is unfortunate, though, and UNDEFINED (and the other zero types) could be removed if a new existence operator is added.

/ Martin Stjernholm, Roxen IS

Previous text:

2003-01-23 00:16: Subject: Re: zero_type() & UNDEFINED and _typeof()

---

It sounds like you are contradicting yourself. On one hand you say that it is useful to return zerotypes from functions, but on the other hand you say that zerotypes are not useful as long as there is another way to check membership of indices.

/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)