Тем не менее нативно таки всё нет

Что значит нативно всё таки нет?

Что значит нативно всё таки нет?

На уровне браузера, как прописано в стандарте

У тебя под кодом триллион слоёв вплоть до виртуальный машины интела которая прикидывается x86

И ноды

О каком нативном коде тут может идти речь

О каком нативном коде тут может идти речь

😅

блин. у меня оно пропитано жсом и его классами и throw new Error

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

Вообще математика это про одно мгновение, в которое остановили время и получили текущее одно единственное состояние, которое можно описать формулой. ФП любит такое. Остальной нормальный мир программирования считает что время бежит постоянно и каждый шажок, каждый тик - это изменение мира вокруг, а программа учитывет это и меняет мир в том числе. Это близко к реальности. Но не так абстрактно как в математике и имеет те же пробелемы что иреальный мир.

Ну и конечно переиспользование памяти и тп

Ты почти что изобрёл обращение с сайд-эффектами

Ты не только можешь описать абстрактный мир, ты вполне можешь описывать и управлять любыми побочными эффектами — проявлениями реального мира

И тем не менее в ФП нет понятия состояния

Ибо оно одно

Лол

Не смеши)

У нас какие-то разные ФП? Ты по ночам тихо кодишь в ООП?

У нас какие-то разные ФП? Ты по ночам тихо кодишь в ООП?

я тут уже писал))

У нас какие-то разные ФП? Ты по ночам тихо кодишь в ООП?

Reader, Writer, State свободно совмещают в себе персистентность и управление стейтом

да уж. У тебя мышление сильно отличается от обывателей здесь )))

Я уж не говорю про то, что есть и обычный мутабельный стейт в качестве сайд-эффекта

Ну не, это не чистый код уже

Чистый

Maybe('это не состояние')

У нас какие-то разные ФП? Ты по ночам тихо кодишь в ООП?

нам просто сложно его понять :) наверное мы просто структуры данных в его абстрактной глобальной фп программе, которые он написал, чтобы стимулировать свой мозг к изобретению новых структур данных и хитростей фп

Ну не, это не чистый код уже

Так как сайд-эффекты декларированы отдельно и ты можешь ими управлять

нам просто сложно его понять :) наверное мы просто структуры данных в его абстрактной глобальной фп программе, которые он написал, чтобы стимулировать свой мозг к изобретению новых структур данных и хитростей фп

😄😄

Есть киберкрепости - такие сервера, что особо защищены от атак

Пора строить киберхрамы

А на самом деле ФП имеет право на жизнь конечно

В нем есть некоторые вещи что лечат некоторые ошибки в некотором коде

Это помимо упрощения некоторых задач

Достаточно сильного упрощения

Но так или иначе чисто ФП выглядит неоднозначно

В нем есть некоторые вещи что лечат некоторые ошибки в некотором коде

Ну если учесть, что весь ООП можно выразить всего одной Comonad, то видимо да)

Даже не представляю, как поддерживать код на фп)

Весь ФП можно выразить через ООП

Весь ФП можно выразить через ООП

Ахахах

Как ты выразишь в ооп Kind? (* -> *) -> * -> *

Это то, что принимает один тайп класс и возвращает другой

Что ещё даже не является типом, а его обобщением

Ахахах

это как выразить атомы через яблоки

Ога)

Это то, что принимает один тайп класс и возвращает другой

Я видимо чего-то не знаю, но не выглядит чем-то таким особым

Даже не представляю, как поддерживать код на фп)

легко)) проще чем ооп код, на самом деле

в разы

в разы

...особенно когда ты фанат ФП, да

я не фанат, просто оно само так получилось

я не фанат, просто оно само так получилось

Все так сначала говорят....

Это пацаны на ФП писали, а я просто рядом кодил

Это пацаны на ФП писали, а я просто рядом кодил

...подсматривал, а потом увидел, что мой код тоже в фп превращается — мам, помоги!

не стоит восприниматьт фп как вещь в себе, просто абстракции там постройнее

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

Фактически это теория построения любых абстракций в чистом виде

Через годик будет тут срач про coq, так вижу

😄😄\

Так это - объект может описывать любую абстракцию ибо любая абстракция это некий объект, в том числе даже если это процесс или действие

Теперь введём категорию твоих объектов

и морфизмы

Само собой 😄

побольше морфизмов

Теперь введём категорию твоих объектов

Но ведь всё просто же, не?

Диалог у нас правда тоже высокоабстрактный получается

Теперь введём категорию твоих объектов

И твоих функций и тп

Да

Категорию категорий

Начинаешь понимать

И категорию категорий категорий

тайпклассы

Ну это и так понятно то

И категорию категорий категорий

Не, это тоже категория категорий

Не, это тоже категория категорий

Если коненчо эта кактегория категорий не категория других категорий

cat Cat Cat :: Cat -> Cat

Прости хоспади

ФП это когда вместо того чтобы решать проблемы человечества решаешь категорию проблем категории проблем

cat Cat Cat :: Cat -> Cat

😿

На самом деле коненчо на решение таких проблем есть свой спрос

Но всё это узкая такая специализация

ФП это когда вместо того чтобы решать проблемы человечества решаешь категорию проблем категории проблем

😂👍

ФП это когда вместо того чтобы решать проблемы человечества решаешь категорию проблем категории проблем

пока не шаришь в языке N, подходе M, ты решаешь проблемы из множества N & M, а не проблемы человечества

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