Вопросы по теме 'lifting'

Можно ли реализовать liftM2 на Scala?
В Haskell liftM2 можно определить как: liftM2 :: (Monad m) => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r liftM2 f m1 m2 = do x1 <- m1 x2 <- m2 return $ f x1 x2 Я хотел бы перевести это на Scala. Моя первая попытка...
1365 просмотров
schedule 03.10.2021

Поднимите, чтобы зафиксировать * внутреннюю * часть стека трансформаторов монад
Предположим, у меня есть IO Int , завернутый в StateT MyState , тогда у меня есть значение State MyState Int , которое я хочу использовать в монаде с накоплением. Как мне поднять его в этом внутреннем смысле? Я уже знаю, что нужно использовать...
395 просмотров
schedule 26.01.2023

Свести стек монад
Итак, у меня есть такой код во всем моем первом серьезном проекте haskell: f :: (MonadTrans t) => ExceptT () (t (StateT A B)) C f = do mapExceptT lift $ do lift $ do ... lift $ do ... r <- ......
774 просмотров

Лифт Monad Transformers
Я как раз изучал преобразователи монад в реальном мире Haskell. В книге говорится, что для преобразования чего-либо в монадный преобразователь необходимо сделать его экземпляром класса типа MonadTrans. Таким образом, книга определила новый...
340 просмотров
schedule 04.01.2023

Подъемная функция в reactjs
const updateSearchTopStoriesState = (hits, page) => (prevState) => { const { searchKey, results } = prevState Может ли кто-нибудь объяснить мне, что делает вышеперечисленное? почему есть 2 стрелочные функции? Это весь код const...
40 просмотров
schedule 10.07.2023

РЕАКЦИЯ: невозможно передать параметр обработчику событий подъема
Я не могу передать параметры из дочернего компонента в родительский компонент, используя тот же обработчик событий. Дерево моих компонентов следует этой структуре: ProductList ProductsGrid PaginationBar В компоненте ProducList у...
108 просмотров
schedule 27.10.2022