0
ответов

Функторы, модули и подмодули Ocaml

Приносим извинения за публикацию такого длинного, не компилируемого кода. Но, несмотря на то, что я прочитал несколько вопросов и ответов о stackoverflow на функторах ocaml, я не понимаю, как это решить: У меня очень ...
вопрос задан: 10 August 2015 22:50
0
ответов

Лакс моноидальные функторы с другой моноидальной структурой

Аппликативные функторы хорошо известны и любимы среди хаскеллеров за их способность применять функции в эффективном контексте. В категориально-теоретических терминах можно показать, что методы ...
вопрос задан: 26 May 2014 22:02
0
ответов

Подъем биекции в функтор

Может быть, я упускаю что-то очевидное, но я пытаюсь очистить некоторые шаблоны в проекте, который использует Scalaz 7, и я не нахожу одну конкретную часть головоломки, которая кажется довольно простой и, возможно, ...
вопрос задан: 18 October 2013 17:37
0
ответов

Функторы OCaml: : нелогичное поведение

Я экспериментирую с языком модулей OCaml (3.12.1), определяя функторы и подписи для модулей и так далее, в основном следуя примерам из главы 2 руководства по OCaml, и я ..
вопрос задан: 2 July 2013 15:37
0
ответов

Понимание того, как Either является экземпляром Functor

В свободное время я изучаю Haskell , так что это вопрос для начинающих. В своих чтениях я наткнулся на пример, показывающий, как Either a становится экземпляром Functor: instance Functor (Either a) ...
вопрос задан: 11 November 2012 07:42
0
ответов

Можно ли в OCaml определить Map в терминах Set?

Я реализовал представление наборов (сбалансированных деревьев поиска )в OCaml. На самом деле это функтор Make of signal module Make :functor (T :ORDERED _TYPE)-> sig type elt = T.t type t...
вопрос задан: 16 September 2012 21:00
0
ответов

Для чего полезен аппликативный функтор Const?

Я только что нашел Const в документации Control.Applicative, но мне трудно понять, где это полезно, чем просто использовать Monoid напрямую. Что мне не хватает?
вопрос задан: 17 July 2012 23:03
0
ответов

Как определить сигнатуру модуля, реализация модуля которого функтор

Допустим, у меня есть модуль M, параметризованный модулем F: модуль M (F : тип sig id тип конец данных) = struct type idtype = F.id type datatype = F.data type component = { id : idtype; data : datatype ...
вопрос задан: 30 June 2012 18:14
0
ответов

«Нет экземпляра для (Ord k )» при реализации Functor над Data.Map.Map

Я пытаюсь реализовать Functor fmap поверх Data.Map.Map, но получаю сообщение об ошибке. Я уверен, что мне не нужно преобразовывать карту в список и обратно, чтобы это заработало, но это...
вопрос задан: 29 June 2012 03:21
0
ответов

Шаблонная функция преобразования в указатель на функцию

Ура, еще один заголовок вопроса, состоящий из случайной последовательности терминов C++! Обычно мы делаем класс Callable, реализуя оператор(). Но вы также можете сделать это, реализуя определяемое пользователем преобразование...
вопрос задан: 13 June 2012 15:57
0
ответов

Почему я должен использовать аппликативные функторы в функциональном программировании?

Я новичок в Haskell, и я читаю о функторах и аппликативных функторах. Хорошо, я понимаю функторы и как я могу их использовать, но я не понимаю, почему аппликативные функторы полезны и как я могу ...
вопрос задан: 24 May 2012 22:51
0
ответов

общий класс функтора в java

Я хотел бы иметь такой класс функтора: public class Functor { public R invoke(T a) { . .. } } И еще один класс для двух аргументов: public class Functor { ...
вопрос задан: 22 May 2012 12:56
0
ответов

Я заново изобретаю велосипед с этим тривиальным классом переадресации вызова метода?

Я только что обнаружил, что создаю шаблон класса struct invoker { void operator()(T& it) const {it();} }; так что я мог бы передать invoker чему-то (которое не находится под ...
вопрос задан: 15 May 2012 23:41
0
ответов

Переменная экземпляра Functor не хранится между последовательные вызовы generate_n

Я использую следующую структуру в качестве входных данных для алгоритма generate_n STL: struct GenerateNumber { GenerateNumber () : i(0) {} int operator () (void) { return i++; } ...
вопрос задан: 13 May 2012 09:44
0
ответов

std::function -> указатель функции

Вот код: #include используя пространство имен std::tr1; typedef недействительным (*fp) (недействительным); пустота фу (пустота) { } недействительным f(fp) { } основной() { function fun = foo; ф (весело); //...
вопрос задан: 11 May 2012 16:47
0
ответов

Есть ли встроенный тип Java, который гарантирует выполнение метода (T t)?

Похоже, что необходимость в таком типе, как следующий, будет настолько повсеместной, что что-то как будто он уже должен быть встроен в Java: открытый интерфейс Executer {void execute (T object); } Это ...
вопрос задан: 6 May 2012 22:46
0
ответов

C ++ std :: transform вектор пар-> сначала в новый вектор

Извините за небольшой вопрос для новичков. Есть вектор и вектор пар typedef std :: vector TItems; typedef std :: vector > TPairs; Есть ли ...
вопрос задан: 2 May 2012 20:56
0
ответов

запутался в функции как экземпляре Functor в Haskell

тип fmap в Functor :fmap ::Functor f => (a -> b)-> fa -> fb выглядит так: сначала примените функцию (a -> b )к параметру fa, чтобы создать результат типа b, затем примените...
вопрос задан: 24 April 2012 08:24
0
ответов

Оператор как указатель на функцию

Я хотел бы, чтобы класс реализовывал оператор() несколькими различными способами на основе набора опций в классе. Поскольку это будет вызываться много раз, я не хочу использовать что-либо, что...
вопрос задан: 20 April 2012 04:32
0
ответов

Библиотека функторов C++ для вычисления математических/арифметических выражений

Кто-нибудь знает библиотеку, позволяющую делать что-то подобное? std::transform(vecA.begin(), vecA.end(), vecB.begin(), vecOutput.begin(), //...
вопрос задан: 11 April 2012 21:10
0
ответов

Указатели функций во встроенных системах, полезны ли они?

В интервью они спросили мне, если использование указателей на функции было бы выгодно (с точки зрения скорости) при написании кода для встроенных систем? Я понятия не имел о встроенной системе, поэтому не мог ответить на ...
вопрос задан: 3 April 2012 10:33
0
ответов

как перевести Haskell на Scalaz?

Мы с одним из моих старшеклассников собираемся портировать библиотеку комбинаторов синтаксических анализаторов Parsec для Haskell на Scala. (У него есть то преимущество перед встроенной-библиотекой синтаксического анализа Scala, что вы можете...
вопрос задан: 1 April 2012 14:21
0
ответов

Ошибка: передача const xxx в качестве этого аргумента xxx отбрасывает квалификаторы

У меня проблема с портированием моего функтора из Windows в Linux. (функтор для передачи в stl::map для строго-слабого упорядочения) Оригинал выглядит следующим образом: struct stringCompare{ // Используется как функтор для ...
вопрос задан: 19 March 2012 19:24
0
ответов

Как показать, что монада является функтором и аппликативным функтором?

Монады известны как теоретически подмножество функторов и, в частности, аппликативных функторов, хотя это не указано в системе типов Haskell. Зная это, учитывая монаду и основываясь на ...
вопрос задан: 1 February 2012 15:12
0
ответов

Возможен ли класс-трейт is_functor C++?

Как я могу статически определить, является ли аргумент объектом функции C++ (functor)? template void test(F f) {} Я пробовал is_function::value, но это не работает. Также кажется ...
вопрос задан: 1 February 2012 10:23
0
ответов

Почему 'X x; x ();' разрешено, когда 'X' определяет преобразование в указатель на функцию, но не, когда он определяет преобразование в функтор?

void f (int) {} typedef void (* f_ptr) (интервал); struct Functor {void operator () (int) {} }; struct X {оператор f_ptr () {return f; } }; struct Y {оператор Functor () {return Functor (); } }; int main () {...
вопрос задан: 15 January 2012 20:22
0
ответов

Какую функциональность вы получаете бесплатно с Functors или другими классами типов?

Я прочитал статью, в которой говорится: Предоставление экземпляров для многих стандартных классов типов [Functors] сразу же даст вам много функциональности практически бесплатно Мой вопрос: что это за ...
вопрос задан: 9 January 2012 08:44
0
ответов

Веселье с повторным Fmap

Я играл с функторами и заметил кое-что интересное: тривиально, id может быть создан в виде (a - > b) - > а - > б. С функтором списка у нас есть fmap :: (a - > b) -...
вопрос задан: 5 January 2012 06:01
0
ответов

Почему экземпляр Applicative для Maybe не дает Nothing, если функция Nothing в <*>

Я новичок в haskell и читаю книгу Learn you a haskell. Я уже некоторое время пытаюсь переварить функторы и аппликативные функторы. В теме «Аппликативные функторы» ...
вопрос задан: 24 December 2011 19:20
0
ответов

Как передать функцию функции? Доступны ли в VB2010 функторы / функциональные объекты?

Я хочу создать метод численного интегрирования с дублями в аналитической функции и интегрировать его по определенному интервалу. Для процедуры численного интегрирования я хочу использовать некоторые процедуры в nr ....
вопрос задан: 2 December 2011 17:15