Публикации по теме 'functor'
Лень с представимыми функторами
Рекомендуемое прослушивание при чтении: https://open.spotify.com/track/1vBb916w3u10h8U87QJ1GN
Tl;dr
Мы можем преобразовать любую индексируемую структуру данных в ее функциональную форму, чтобы добиться лени. Формально существует изоморфизм любого представимого функтора в Reader. Суть здесь: https://gist.github.com/DrBoolean/9b951c1c2cb225be9c289b0a2239132f
Prereq
Я смело использую такие слова, как карри (функции, которые принимают 1 аргумент за раз), изоморфизм..
Вопросы по теме 'functor'
Лучшая библиотека Java Functor: JGA, commons functor, манго или?
Меня интересует использование функторов (объектов функций) в Java. Быстро погуглив, я нашел эти 3 пакета:
Алгоритмы Java Generics: http://jga.sourceforge.net/
Функтор Commons: http://commons.apache.org/sandbox/functor/
Манго:...
1726 просмотров
schedule
11.03.2024
Как boost::bind может вызывать частные методы?
boost::bind чрезвычайно удобен в ряде ситуаций. Один из них — отправить/отправить вызов метода, чтобы io_service сделала вызов позже, когда это возможно.
В таких ситуациях boost::bind ведет себя так, как можно было ожидать:
#include...
5321 просмотров
schedule
23.10.2023
Дефункторизатор для OCaml
В прошлом Жюльен Синьолес запрограммировал ocamldefun , программу, которая брала исходный код OCaml с функторами и получала эквивалентную программу без функторов. Это полезно для оптимизации, анализа и других целей.
Похоже, что ocamldefun...
217 просмотров
schedule
07.10.2022
Анализ аппликативных функторов
Я пытался узнать о статическом анализе аппликативных функторов. Во многих источниках говорится, что преимуществом их использования перед монадами является восприимчивость к статическому анализу.
Однако единственный пример фактического выполнения...
558 просмотров
schedule
15.10.2022
Как определить предикат сортировки для шаблонного класса контейнера в C++
Мой C++ немного заржавел в последнее время. Может ли один из вас, гуру, помочь мне определить предикат SORT для класса контейнера с параметром шаблона, который сам является другим классом.
template <class Element>
class OrderedSequence
//...
988 просмотров
schedule
13.08.2022
Что представляет собой «f» в функции fmap функтора?
Я смотрю на следующую функцию:
fmap :: (a -> b) -> f a -> f b
и я хочу понять, что такое «f», как в ( f a или f b ). В статье, которую я читаю, он описывается как «коробка», но каково его правильное имя? Это просто переменная...
183 просмотров
schedule
03.03.2024
Аппликативный функтор, который меняет порядок эффектов
Имея аппликативный функтор f , у меня возникла идея создать новый аппликативный функтор Rev f , подобный f , но с обратным порядком эффектов. Вот:
import Control.Applicative
newtype Rev f a = Rev {unRev :: f a}
instance Functor f =>...
209 просмотров
schedule
25.10.2023
Почему pointfree.io выбрала liftM2 вместо liftA2?
Недавно я писал решение для упражнения ISBN Verifier по адресу Exercism , и когда я запускал эту функцию через pointfree .io :
\c -> isDigit c || c == 'X'
Я вернулся:
liftM2 (||) isDigit ('X' ==)
Почему pointfree.io выбрал...
458 просмотров
schedule
23.03.2024
Haskell создает функцию карты и папки для нового типа данных
Я написал структуру данных,
data Bit a = Add a (Bit a) | End deriving (Show,Eq)
data Bits a = Bits (Bit a) (Bit a) deriving (Show,Eq)
но я изо всех сил пытаюсь создать для них функцию карты и папки.
Пока у меня это:
instance Functor...
155 просмотров
schedule
20.08.2022
Сопоставьте функтор внутри другого функтора в Haskell
Я должен получить Maybe UserId от возможно, авторизация
Я собираюсь сделать это следующим образом:
... = do
muserId <- (entityKey <$>) <$> maybeAuth
...
Итак, я хочу отобразить Functor внутри другого Functor . Я...
104 просмотров
schedule
16.09.2022