functor
Сегодня я попытался соединить две строки ввода-вывода и не смог заставить их работать. Итак, проблема в следующем. Предположим, что у нас есть s1 :: IO String и s1 :: IO String. Как реализовать функцию (+++) :: IO String -> IO String -> IO String, которая работает точно так же, как (++) :: [a] -> [...
У меня был запрос о том, в чем разница между параметризацией класса и параметризацией функции. Я обеспечил реализацию функтора следующим образом: trait Functor[F[_],A,B] { def map(fa: F[A]) (f: A => B) : F[B] } И другой, где функция параметризуется следующим образом: trait Functor[F[_]] { def ma...
Я пытаюсь прикрепить функцию-объект, который будет вызван при уничтожении шаблонизированного класса. Однако я не могу, кажется, быть в состоянии передать функцию-объект как временный. Предупреждение, которое я получаю (если комментарий строка xi.data = 5;): warning C4930: 'X<T> xi2(writer (__cdecl ...
Я постоянно слышу много о функторах в C++. Может ли кто-нибудь дать мне обзор того, что это такое и в каких случаях они могут быть полезны?...
Этот вопрос вытекает из предыдущего вопроса, который я задал здесь. Я не могу использовать никакие внешние библиотеки или спецификацию C++ 11. Это значит, что я не могу использовать std::связать, с std::функция, повышение::связать,тип Boost::функция etc. Я должен написать его сам. Проблема заключается в следу...
Предположим, что у вас есть два (или более) класса с частными векторами членов: class A { private: std::vector<X> priv_vec; public: //more stuff } class B { private: std::vector<Y> priv_vec; public: //more stuff } И у вас есть класс-функтор, который имеет состояние...
Я читаю эту статью о категории и Функторе в scala: https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ В этой части: Для сохранения структуры категорий это отображение должно сохранять карты идентичности и композиции. Более формально: F (1 A) = 1F (A) ∀ A ∈ C1 ...
Рассматривая тип с видом * -> *, я пытаюсь найти правила и построить интуицию для того, когда вы можете и когда вы не можете иметь функтор для этого типа. Пока что правила, которые я вижу, следующие: нет экземпляра Functor для типов контейнеров, имеющих ограничения о содержащихся в них значениях. Прим...
ИспользуяAllegrograph , функторы пролога довольно удивительны, но есть один недостаток. Предположим, вы определяете функтор, который связывает две сущности, например parentOf , который равен "!Н: мать или !Н: ... папа", которые являются как свойства объекта РДФ, определенных в онтологии (не функторов). Д...
Я ищу правила, связанные с передачей функций шаблонов 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; ...