0
ответов
Haskell Functor implied law
Typeclassopedia говорит: "Аналогичный аргумент также показывает, что любой экземпляр Functor, удовлетворяющий первому закону (fmap id = id), будет автоматически удовлетворять и второму закону. Практически это означает, что ...
вопрос задан: 29 November 2011 05:46
0
ответов
Почему у некоторых стандартных операторов нет стандартных функторов?
У нас есть: std :: plus (+)
std :: minus (-)
std :: multiplies (*)
std :: divides (/)
std :: модуль (%)
std :: negate (-)
std :: logic_or (||)
std :: logic_not (!)
std :: logic_and (&&)
std :: equal_to (==)
...
вопрос задан: 26 October 2011 20:36
0
ответов
GHC 7.0.4, похоже, забыл, как применять функторы
В главе «Функторы, аппликативные функторы и моноиды» в Learn You A Haskell Миран делает следующее: ghci> (pure 3) "blah" { {1}} 3 Однако я получаю следующее: ghci> (pure 3) "blah"
вопрос задан: 7 October 2011 12:46
0
ответов
«Псевдо-функтор» Haskell
У меня есть полиномиальные данные Poly a = Poly [a] Я хотел бы иметь возможность делать что-то вроде полинома fmap (take 3), но не могу, поскольку Poly не на самом деле функтор в том смысле, что f, который я использую в fmap, может только ...
вопрос задан: 1 October 2011 00:00
0
ответов
Scala - Как использовать функторы для типов, не являющихся функциями?
Читая описание функторов в этом блоге: https://hseeberger.wordpress.com/2010/11/25/introduction-to-category- theory-in-scala / есть общее определение Functor и многое другое ...
вопрос задан: 27 September 2011 18:01
0
ответов
Почему мы имеем карту, fmap и liftM?
карта:: (a - > b) - > [a] - > [b] fmap:: Functor f = > (a - > b) - > f a - > f b liftM:: Monad m = > (a - > b) - > m a - > m b Почему у нас есть три различные функции
вопрос задан: 18 September 2011 18:32
0
ответов
делает виртуальное ключевое слово с оператором () () иметь смысл? (Функторы)
считают, что у меня есть иерархия, определенная как стратегия класса ниже
{
Публичный: виртуальный пробег ();
};
Class Strategya: публичная стратегия
{
Публичный: виртуальный пробег ();
};
Class Strategyb: Public ...
вопрос задан: 13 September 2011 14:49
0
ответов
std :: for_each Использование на функцию члена с двумя args
Вот общее представление о том, как мой класс определяется как (он выполняет другие операции, чем то, что упоминается ниже) Функтор
{Funktor (int val): оператор bool m_val (val) {} () (int arg1, int ...
вопрос задан: 12 September 2011 19:54
0
ответов
Простое обобщение типового класса применимого (функтора); Шаблон, сопоставив на конструкторов
Я пытался «узнать мне Haskell» через онлайн-книгу Ляха. Автор описывает поведение функторов типов применения как своего рода возможность извлечения функции из ...
вопрос задан: 10 September 2011 05:11
0
ответов
Помогите с пониманием объекта функции или функтора в Java
может кто-то объяснить, что такое функтор и предоставляет простой пример?
вопрос задан: 10 September 2011 03:40
0
ответов
Хорошие примеры не Функтора/Функтора/Аппликативного/Монада?
Объясняя кому-то, что такое класс типа X, я с трудом нахожу хорошие примеры структур данных, которые в точности являются X. Поэтому я прошу привести примеры: Конструктор типа, который не является Functor.
A ...
вопрос задан: 27 August 2011 23:42
0
ответов
Функтор C ++ в качестве указателя на функцию
У меня есть функтор, который мне нужно отправить функции, которая получает указатель функции как параметр (например, CreateThread). Могу ли я как-то преобразовать его в адрес статического метода? А если нет, как я могу ...
вопрос задан: 21 August 2011 18:09
0
ответов
Попытка реализовать Data.Either
Чтобы помочь мне изучить аппликативные функторы и функторы, я подумал, что было бы неплохо использовать посмотрите, как Either реализуется с помощью классов типов Functor и Applicative.Очевидно, я мог бы просто пойти дальше и ...
вопрос задан: 19 August 2011 12:03
0
ответов
Есть ли морфизмы в Haskell?
У меня есть некоторый GADT, который представляет термин в лямбда-исчислении. data Term a = Var a | Лямбда а (термин а) | Применить (термин a) (термин a) Я хочу иметь общий интерфейс для ...
вопрос задан: 15 August 2011 05:15
0
ответов
Аппликатив без функтора
У меня есть тип Image, который по сути представляет собой c-массив с плавающей запятой. Легко создавать такие функции, как map :: (Float -> Float) -> Image -> Image или zipWith :: (Float -> Float -> Float) - & ...
вопрос задан: 11 August 2011 11:08
0
ответов
Модули и рекордные поля
я споткнулся через довольно простую проблему OCaml, но я, может казаться, не нахожу изящное решение. Я работаю с функторами, которые применяются к относительно простым модулям (они обычно определяют тип...
вопрос задан: 20 July 2011 11:57
0
ответов
почему ptr_fun находит это неоднозначным, даже когда заданы параметры шаблона?
Итак, вот базовый код, который иллюстрирует мой вопрос: #include int func (int x) {return x;
} int func (int x, int y) {return x + y;
} int main () {std :: ptr_fun & ...
вопрос задан: 11 July 2011 21:21
0
ответов
Почему сами функторы STL являются шаблонами, а не их оператором вызова функций?
Функторы STL реализуются следующим образом: template
struct less {bool operator () (T const & lhs, T const & rhs) {return lhs
вопрос задан: 4 July 2011 20:52
0
ответов
Как boost::bind может вызывать приватные методы?
boost::bind очень удобен в ряде ситуаций. Одна из них - диспетчеризация/постинг вызова метода, чтобы io_service выполнил вызов позже, когда сможет. В таких ситуациях boost::bind ...
вопрос задан: 30 June 2011 17:13
0
ответов
Зачем использовать функторы над функциями?
Сравните двойное среднее = CalculateAverage (values.begin (), values.end ()); с двойным средним = std :: for_each (values.begin (), values.end (), CalculateAverage ()); Каковы преимущества использования ...
вопрос задан: 23 June 2011 03:50
0
ответов
Передача параметра объекта в функтор по ссылке
У меня есть функтор, который принимает объект lat3d в качестве параметра, и я хочу передать этот функтор подпрограмме поиска корня, которая регулирует ef. Функтор выглядит так: struct NormalizeNer {...
вопрос задан: 12 June 2011 19:08
0
ответов
Обнаружение объекта функции (функтора) и лямбда-признаков
Как я могу определить тип возвращаемого значения и типы параметров нулевого значения и указатели на унарные функции, объекты std :: function и функторы (включая лямбды)? Признаки функций и функциональные признаки Boost не ...
вопрос задан: 1 June 2011 14:01
0
ответов
Как пересчитать контрольную сумму IP с помощью scapy? [дубликат]
Возможный дубликат: как рассчитать контрольную сумму пакета, не отправляя ее? Я подделал исходный IP и MAC-адрес в захваченном пакете, но теперь мне нужно пересчитать контрольную сумму, чтобы она ...
вопрос задан: 24 May 2011 15:37
0
ответов
Почему нет (-> ) реализовано с помощью Control.Monad.Instances по умолчанию
Я читал LYAH. В нем говорится, что мне нужно явно загрузить Control.Monad.Instances, чтобы следующий синтаксис работал: ((fmap (+5)) (+5)) 4 Почему это так? Почему, если функторы лежат в основе и ...
вопрос задан: 2 May 2011 23:10
0
ответов
Почему функторы C ++ могут быть предпочтительнее объектов с именованными методами?
I недавно увлеклись функторами и использовали их повсюду. Затем возникла ситуация, когда мне потребовался мой функтор для выполнения двух разных операций, и я подумал о добавлении ...
вопрос задан: 5 April 2011 03:26
0
ответов
Что мне следует использовать: функции или функторы без состояния?
Эти два фрагмента кода делают то же самое. Как видите, он будет использован в функции сортировки.
Что лучше? Я обычно пишу последнее. Но я видел, как некоторые кодеры делали это, как бывший. struct val_lessthan ...
вопрос задан: 2 April 2011 08:22
0
ответов
How to document a function object with doxygen?
How should I document a function object (AKA functor) with doxygen? It feels misleading to just document it as a regular class. I find it much better to think of a function object as a function with ...
вопрос задан: 5 March 2011 18:01
0
ответов
Создание (a, a) функтора
Как я могу создать (a, a) функтор, не прибегая к новому типу? В основном я хочу, чтобы он работал следующим образом: instance Functor (a, a) where fmap f (x, y) = (fx, fy) Но, конечно, это не законно ...
вопрос задан: 27 January 2011 05:58
0
ответов
Монады как дополнения
Я читал о монадах в теории категорий. Одно определение монад использует пару сопряженных функторов. Монада определяется обходом с использованием этих функторов. По-видимому, дополнения очень ...
вопрос задан: 15 January 2011 00:31
0
ответов
Не удалось специализировать шаблон функции
Это домашнее задание, хотя он уже представлен с другим подходом. Из-за ошибки C2893 в Visual Studio 2008 я получаю следующее: Не удалось специализировать шаблон функции void std :: sort (...
вопрос задан: 8 January 2011 21:44