ну тут вопрос тебе что - объяснить как пользоваться или обосновать зачем? последнее сложно не вдаваясь в кучу теории. Первое - открой видосы туториалы и пробуй0

реальность вообще про аспекты) один и тот же объект реального мира можно описать очень с разных точек зрения очень по-разному...

если какой-нибудь видос по теме кинешь - было бы супер) а лучше статейку. ну или хотя бы что гуглить)

правда в целом это все тоже такие сферические кони в вакууме... практический аспект хотелось бы узреть. там, примеры реальных проектов посмотреть с применением этих концепций, и т д

другая аналогия - вот "удобно и привычно" брать из базы данные менять и пихать обратно. и все круто и красиво пока у тебя один запрос на изменение стэйта в один момент времени. Ты возможно с таких задач начинал (их большинство, и 20 лет назад их было подавляющее большинство). Все это умеют, все так делали. "не привычно" дробить стэйт на агрегаты, думать о партицировании данных, думать о eventual consistency. Но если разобраться все это не оч сложно.

еще одна оналогия - "удобно и привычно посчитать вектора сил действующих на объект и прикинуть где он окажется в такой-то момент времени, не удобно и не привычно думать о том что время относительно и что придется договариваться что считать одним моментом времени".

если я ща открою вики про теорию множеств например - закопаюсь в математическую абракадабру. тоже как бы зачем...

ну вот я и не закапываюсь ибо днище)

в общем все это очень интересно, но нихрена не понятно) большое спасибо за годный контент)

+1 к горизонтам)

вложить — это легко. а если надо параметризовать?

добавить свойств?

сделать тип параметром другого типа

потом ограничить параметры

ну композиция

ну если будешь пытаться "прозревать" в чатах то да нихера не будет понятно. Я честно скажу - я в ФП не шарю - знаю отдельные ключевые слова для гугла. У меня лежит пара книжек которые я хочу прочитать но боюсь что тупой и не пойму ничего. С тем же ООП и что оно значит я не мало времени потратил на срачи со знающими людьми которые меня литературой закидали - при этом на "осознание" ушло тоже не мало времени. "привычки" это оч опасная штука ибо ты на все новые вещи через них смотришь и сложнее их понять/принять.

через конструктор и иммутабельность ограничиваешь возможный набор инвариантов данного класса

нет, параметризация с композицией не связана

сделай мне типы для:

- пустой список
- список интов определенной длины

огрнаничить типы = добавить инварианты

может, непустой? для пустого-то легко