В коде типзнч(неопределено) = тип("неопределено"), но не неопределено. Так что
Нет
Требовать и эффективности, и гибкости от одной и той же программы — все равно, что искать очаровательную и скромную жену... по-видимому, нам следует остановиться на чем-то одном из двух. Фредерик Брукс-младший
