EB
Тогда какой фреймверк считать чистым ФП, если даже коты не подходят - zio ? Или можно о теории забыть и спокойно эволюционировать с новыми библиотеками - стабильность в нашем деле плохой признак ))
что такое чистое фп
Size: a a a
2020 August 23
NV
Тогда какой фреймверк считать чистым ФП, если даже коты не подходят - zio ? Или можно о теории забыть и спокойно эволюционировать с новыми библиотеками - стабильность в нашем деле плохой признак ))
Вероятно, Олег так витиевато пытался показать, что суждения о чистоте функций исходя из иммутабельности возвращаемых элементов не очень корректны. Используйте что удобно использовать
СП
что такое чистое фп
Я так понял Олег предлагает решить эту проблему аннотациями, чтобы сам программист помогал компилятору разбираться в чистоте на свой страх и риск, но более правильный подход, чтобы перейти на новые фреймверки , которые решат эти проблемы как- то централизованно наверное.
Oℕ
Тогда какой фреймверк считать чистым ФП, если даже коты не подходят - zio ? Или можно о теории забыть и спокойно эволюционировать с новыми библиотеками - стабильность в нашем деле плохой признак ))
речь шла не о том
Oℕ
Я так понял Олег предлагает решить эту проблему аннотациями, чтобы сам программист помогал компилятору разбираться в чистоте на свой страх и риск, но более правильный подход, чтобы перейти на новые фреймверки , которые решат эти проблемы как- то централизованно наверное.
я говорю, что какой бы софистикейтед у компилятора ни был алгоритм определения "чистоты" функции, в компилятор либо нужно встраивать прувер, либо давать некоторые функции насильно помечать как чистые
λ
@odomontois а если ты будешь помечать чистыми грязные функции?
EB
Мы же программы пишем чтобы бизнес какой-то делать, я до сих пор не понял зачем бизнесу чистые функции и сайд эффекты (
OO
Мы же программы пишем чтобы бизнес какой-то делать, я до сих пор не понял зачем бизнесу чистые функции и сайд эффекты (
правильно, бизнесу нужен эффект
OO
EB
Мы же программы пишем чтобы бизнес какой-то делать, я до сих пор не понял зачем бизнесу чистые функции и сайд эффекты (
я прочитал заметку Де Гуза о том что бизнесу от этого профита нет, но еще сильнее запутался 😐
λ
Профит возможно и есть
Oℕ
@odomontois а если ты будешь помечать чистыми грязные функции?
ну как в с++ будешь получать неприятные последствия
λ
ну как в с++ будешь получать неприятные последствия
А теперь представь, что кто-то такое сделает в либе
Oℕ
представил
Oℕ
именно для либ оно и нужно
λ
По идее бы вообще иметь штуку, которая бы проверила все на чистоту
Oℕ
не нужно делать это не в либах
Oℕ
блин
Oℕ
почему ты говоришь говоришь, приходит лолдог и ты как будто ничего не говорил и нужно сначала всё повторять
Oℕ
представь, что ты не лолдог, и тебе приходится перечитывать сообщения из контекста