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

VD>>Да и нужны тут не алгеброические типы, а аналог паттерн-матчинга.
EC>Насколько я понимаю паттерн матчинг это процесс обратный конструированию значения алгебраического типа.

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

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

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

EC>Например в Haskell он невозможен потому как там её просто нет (всякие извраты с IORef не в счёт).

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