Смотрите: попробуем добавить алгебраические типы данных (или union'ы) в Java'у. Есть готовый компилятор.
Я не знаю зачем и кому это нужно

Данные, с которыми мы работаем - они многообразны. Допустим integer мы знаем как облупленного, а иной абстрактный интерфейс можем использовать ( Read more... )