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

VD>Да и нужны тут не алгеброические типы, а аналог паттерн-матчинга.
Насколько я понимаю паттерн матчинг это процесс обратный конструированию значения алгебраического типа.
Хотя дело даже не в этом. NPE возможен когда у нас есть reference семантика.
Например в Haskell он невозможен потому как там её просто нет (всякие извраты с IORef не в счёт).