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

так есть конкретный пример алгоритма, который выразим функционально и невыразим оопшно?

А где там мутабельность?

ST — это структура, позволяющая делать мутабельные операции

https://wiki.haskell.org/Mutable_variable

не благодарите

Это же монада, не?

так есть конкретный пример алгоритма, который выразим функционально и невыразим оопшно?

Да, Tardis — это это структура, позволяющая отправлять объекты в будущее и в прошлое программы

ну сайдэффекты io тоже завернуты в монады

Ну в этом и суть монад

как бы это и преимущество фп

да

Что они заменяют сайд эффекты

* что ими описываются эффекты

Нет, лол)

Сайд эффекты можно описывать отдельно

* что ими описываются эффекты

Нет, именно заменяют

Для начала, в purescript например есть (была) структура Eff

Что значит заменяют?

Нет, именно заменяют

не улавливаю, заменяют явный вызов?

Которая именно представляла сайд-эффект

Да ничего не значит

Допустим, что у нас есть какой-то js код с сайд-эффектами, который мы хотим вызывать из нормального ™ языка // Main.js exports.pushTheButton = function() { console.log('nuclear missile launched') } Чтобы различать разные сайд-эффекты, каждый из них можно задать как отдельный тип. Присутствует тип в сигнатуре функции — значит эта функция повлечёт за собой данный побочный эффект module Main where import Control.Monad.Eff(Eff, kind Effect) import Control.Monad.Eff.Console (logShow, CONSOLE) import Prelude (Unit, discard) foreign import data NUCLEAR_MISSILE :: Effect foreign import pushTheButton :: forall e. Eff ( launch :: NUCLEAR_MISSILE | e ) Unit main :: Eff ( console :: CONSOLE, launch :: NUCLEAR_MISSILE ) Unit main = do pushTheButton logShow "its fine" -- Results: -- nuclear missile launched -- its fine

Вот это — описание тпипзации сайд-эффектов

А монады конечно нифига ничего не заменияют

А оборачивают

Ну значит что нет возможности явно вызвать сайд эффект кодом, синхронно

Лол

можно

Что же я только что выше сделал, дайте подумать

как бы это и преимущество фп

а фп тут просто потому что так в хаскеле?

Ну так это do

я не понял вопрос

Ну так это do

так и что?

Ну так это do

Это компилируется в синхронный вызов, просто сначала дергается первая функция, потом вторая

Тут несколько сложнее концепция, короче

использует уже кто GraphQL?

В любом случае ты делаешь что-то если юзер держит кнопку. Можешь описать это монадой, можешь - переменной, можешь - методом класса

Не, компилироваться оно может во что угодно, это вопрос семантики

я не понял вопрос

развернув вопрос по-другому “причем фп к монадам?"

развернув вопрос по-другому “причем фп к монадам?"

Приехали)

развернув вопрос по-другому “причем фп к монадам?"

я не знаю. я выхватываю фразы из чата и придираюсь. как обычно

То есть семантически если вызвать функцию, то это никогда не приведет к эффектам сразу после возврата

но наверное Дмитрий знает ответ

еще можно Громова позвать)

чтобы было совсем весело (но недолго)

или просто с этим всем в фп чат прийти

у него забомбит сразу же

Лучше бы бухали)

А кто нет?

Лучше бы бухали)

это и делаю

То есть семантически если вызвать функцию, то это никогда не приведет к эффектам сразу после возврата

ну грубо говоря нет момента “сразу после возврата”

Ну да, его вроде как и нет вообще

Потому что все декларативное

в императивщине только он и есть

Приехали)

?

😄

или просто с этим всем в фп чат прийти

А можно ссылку на чат по ФП?

https://t.me/frp_ru

Спасибо!

это и делаю

Вот в тебе, кстати, ни разу не сомневался)

😎

Всем привет. Вопрос ночи) Как с точки реалиции сделать лучше, каждый раз открывать соединение к монго при запросе ( http://joxi.ru/xAebYYjcYlJzgr ) , или же лучше один раз открыть и делать запросы? Суть в том что для каждого маршрута свой файл, и в каждом файле запросы к БД

коннект лучше же шарить

@shammasov пример можно?) плз)

и лучше бы отделить обработку запроса от работы с бд

const makeDAO = connection => ({ getUser: (id) => {} getFeatures: (param1, param2) => {} })

а коннекшен делай в одном месте и следи за ним в одном месте

в обработке реквеста дёргай дао

Всем. Хай. Решил вот упростить себе задачу. Да и может еще кому-то помочь. И пилю свой велосипед MySQL ORM аналог Yii2 ActiveRecord Как считаете, нормальная ли структура описания модели?

sequelize не зашел?

Вообще

Таких вот плюшек хочется.

почему?

Есть ли вообще резон двигаться в этом направлении. Полезно ли это как идея?

Таких вот плюшек хочется.

там не ['user'] а ['profile']

а зачем разбивать описание колонок на 2 места?

типы будут без автодополнения, если задаются как строки

Всем. Хай. Решил вот упростить себе задачу. Да и может еще кому-то помочь. И пилю свой велосипед MySQL ORM аналог Yii2 ActiveRecord Как считаете, нормальная ли структура описания модели?

Опять

и вообще стоит еще раз посмотреть на sequelize

а зачем разбивать описание колонок на 2 места?

За это только сейчас подумал.