если не сложно, изложите корректную версию предмета. Спасибо!
Да там что-то наныто про типы, вот только в эрланге есть pattern matching просто внутри бинаря, где никаких типов нет и быть не может.
Если ты матчишь head и tail от листа, о какой инкапсуляции вообще идёт речь? Типа ты вдруг можешь изменить тип листа?
Чувак прицепился к какому-то ООП, говоря про отделение реализации от интерфейса, вот только кто-то в этой жизни детали внутренней реализации знает - например приватные методы у классов. Если я там буду матчить - все норм? В каждом приватном методе может всплыть ошибка к которой он апеллирует.
Причём это все может всплыть легко даже не в компиляции даже в Haskell.