Здравствуйте, eao197, Вы писали:

E>В языке Nice, работающем поверх JVM, сделали хорошую попытку устранения NPE: http://nice.sourceforge.net/manual.html#optionTypes
Насколько я понимаю это compile only фича. Т.е. с ней происходит нечто аналогичное type erasure generic'ов.
Т.е. JVM об этом ничего не знает. Интересно как выглядит из Java функция с сигнатурой void bar(?String arg).