Багобезопасный код: шаблон проектирования Null Safe

Классический выриант решения этой проблемы в Скале — Option:
www.scala-lang.org/api/current/index.html#scala.Option
www.codecommit.com/blog/scala/the-option-pattern

В джаве можно применть тот же подход

А давайте поступим по другому – просто договоримся что неинициализированных значений не существует. То есть, например, если делаем класс то все его поля инициализируем сразу. А вот если поле может быть null а может быть не null тогда оборачиваем его в какую-нибудь мегасложную структуру вроде Nullable<T>?

Небольшая заметка — зачем писать if (s!=null) if (!s.isEmpty()), когда можно обойтись просто if(s!=null && !s.isEmpty())?
JVM гарантирует нам, что если первый операнд для && (s!=null в нашем случае) будет false то второй операнд уже не будет вычисляться. А значит наш второй операнд !s.isEmpty() не вызовет NullPointerException, и всё будет работать корректно.

P.S. И да,
public class SomeBean{
private String strField="";

public void setStrField(String strField){
if (strField!=null){ this.strField=strField; }
}

public String getStrField(){
return strField;
}
}

лучше записать как

public class SomeBean{
private String strField="";

public void setStrField(String strField){
if (strField!=null){ this.strField=strField; } else { strField = ""; }
}

public String getStrField(){
return strField;
}
}

Чтоб в результате вызовов вроде:
someBean.setStrField(«Something»);
someBean.setStrField(null);
System.out.println(someBean.getStrField());
получить в конце пустую строку, а не «Something».

Как и все идеи, эту также нужно применять только там, где специфически считаете необходимым из-за контекста приложения. Часто шаблоны и идеологии применяются просто потому что они существуют где надо и наоборот. Тоже самое кстати я могу сказать и про использование beans (бинов), set/get методы это явно необходимо когда используете различные генераторы кода (как например Struts с JSP, там без set/get не получится), если же пишете какие-нибудь внутренние структуры для передачи данных из одной части кода другой, где промежуточный результат не выходит за рамки этих классов/методов/пакетов, то вполне подходят и простые структуры без set/get методов.

больше всего мне понравилось как решили проблему в Kotlin

Есть одно НО, при использовании сторонних библиотек/фреймворков от nullpointer не удастся гарантированно избавиться т.к. когда используемый не Ваш код, проверку все равно придется делать в Вашем куске…, а если навешаете аспекты, то есть шанс сломать стороннюю внутреннюю логику, т.к., к примеру, теже синглтоны могу быть завязаны в чужом коде на проверку на null…

Аннотации из jsr 305 удобно использовать совместно с findbugs. Т.е. findbugs, проанализировав код, покажет проблемные места. К тому же Idea (кажется с 10-й версии) понимает эти аннотации (помимо своих из org.jetbrains.annotations) и подсвечивает проблемные места, что позволяет фиксить ошибки сразу, при редактировании кода, не доходя до этапа компиляции и запуска тестов.

С использованием вашего подхода, как мне показалось, мы прячем ошибку в логике, затрудняя её обнаружение. Возможно, к примеру, было бы лучше в «сеттере» бросать NPE если кто-то пытается туда передать null? Кстати, idea при компиляции может автоматически вставлять assert-ы в код для проверки notnull/nullable значений.

И ещё, не боитесь распухания PermGen из-за большого количества классов, ведь ajc для каждого Around метода порождает класс. Или эту проблему как-то можно решить?

Интересно, форматирование кода в примерах — глюки хабрапарсера или задумка автора?

Посмотрите на JSR-303 и его реализацию в виде Hibernate Validator. При помощи анотаций javax.validation вы размечаете методы, их параметры и поля классов. Причем набор возможностей валидации гораздо богаче простой проверки на null. Далее методы каждый вызов валидируемого метода прогоняется через валидирующий перехватчик (AOP). Если валидатор обнаруживает проблемы с параметрами/полями, то будет выброшено исключение.

Форматирование пропало. Вот так правильно:

    public interface MyBeanInterface {

        /**
         * @throws ValidationException if value is null or empty
         */
        void setValue(@NotNull @Size(min = 1) String value);
    }