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

VD>Это тебе показалось или внушили. На самом деле это некий подход к декомпозиции данных. Конечно АлТД на него ложатся идеально, но и без них он полезен.

Можешь дать своё определение?
Здесь это определяют как:

Pattern matching is used to test whether things have a desired structure, to find relevant structure, to retrieve the aligning parts, and to substitute the matching part with something else.

Проверка на null это сравнение двух значений, но никак не test whether things have a desired structure.

EC>>Хотя дело даже не в этом. NPE возможен когда у нас есть reference семантика.

VD>Вот в МЛ-языках почти все по ссылке передается. Уж АлТД всегда обязаны по ссылке передаваться. Но проблем нет.

Ты смешиваешь семантику и детали реализации.
То что что-то передаётся посредством указателя ещё не значит, что значения типа имеет ссылочную семантику.
Чтобы обозначить, что значение может отсутствовать используют Maybe, причём само значение типа Maybe не может быть null.
Если бы ссылочная семантика присутствовала, то с чего бы вдруг Maybe понадобился?

VD>А Хаскеле только она и есть. Причем ссылочность там трехэтажная. Просто нет налов.

Можешь пример привести ссылочности в Haskell?