Вопросы с тегом «functor»

Я много слышу о функторах в C ++. Может ли кто-нибудь дать мне общее представление о том, кто они и в каких случаях они будут полезны?

876 c++  functor  function-object  function-call-operator 

Я ищу правила передачи функций шаблонов C ++ в качестве аргументов. Это поддерживается C ++, как показано на примере здесь: #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void doOperation() { int temp=0; T(temp); std::cout << "Result is " << …

225 c++  templates  code-generation  functor 

Я встречал термин «Functor» несколько раз, читая различные статьи о функциональном программировании, но авторы обычно предполагают, что читатель уже понимает этот термин. Просмотр в Интернете предоставил либо чрезмерно технические описания (см. Статью в Википедии ), либо невероятно расплывчатые описания (см. Раздел «Функторы» на этом веб-сайте ocaml-учебника ). Может кто-нибудь любезно …

224 functional-programming  ocaml  functor 

Объясняя кому-то, что такое класс типов X, я стараюсь найти хорошие примеры структур данных, которые в точности X. Итак, я прошу примеры для: Конструктор типа, который не является Functor. Конструктор типа, который является Functor, но не Applicative. Конструктор типа, который является Аппликативным, но не Монадой. Конструктор типа, который является Монадой. …

210 haskell  monads  functor  applicative 

Закрыто. Этот вопрос не соответствует рекомендациям по переполнению стека . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме Stack Overflow. Закрыт 4 года назад . Уточните этот вопрос F # происходит от OCaml, но какие основные элементы отсутствуют или добавлены? В …

126 f#  ocaml  functor 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Почему у нас есть три разные функции, которые по сути делают одно и …

102 list  haskell  monads  redundancy  functor 

Класс Applicativeтипов представляет слабые моноидальные функторы, которые сохраняют декартову моноидальную структуру в категории типизированных функций. Другими словами, учитывая канонические изоморфизмы, свидетельствующие о том, что (,)образуется моноидальная структура: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, …

9 haskell  functor  applicative  category-theory