1
ответ
Scrap Your Boilerplate in f#
I've used the Scrap Your Boilerplate and Uniplate libraries in the Haskell programming language, and I would find that form of generic programming over discriminated unions to be really useful. Is ...
вопрос задан: 29 August 2010 21:40
1
ответ
Предотвращение шаблона при контакте со многими несвязанными типами
Я пишу код, который имеет дело со значениями с Языка. Exts. Аннотируемый. Синтаксис, где множество типов определяется, которые зеркально отражают структуру модуля Haskell: Модуль данных l =... данные Decl l =......
вопрос задан: 6 December 2009 15:14
0
ответов
Почему Разрешение перегрузки предпочитает неограниченную функцию шаблона по сравнению с более конкретной?
У меня есть эта минимальная библиотека шаблонов выражений с умножением, то есть шаблон < typename T, typename U > struct mul {const T & v1; const U & v2; }; шаблон < typename T, ...
вопрос задан: 6 June 2019 03:49
0
ответов
Общее программирование и метапрограммирование
В чем именно разница? Кажется, что эти термины могут использоваться в некоторой степени взаимозаменяемо, но, читая статью в Википедии для Objective-c, я обнаружил: В дополнение к процедурному стилю C
...
вопрос задан: 21 March 2019 07:56
0
ответов
Почему были понятиями (общее программирование), задуманное, когда у нас уже были классы и интерфейсы?
Также на программистах.Stackexchange.com: я понимаю, что концепции STL должны были существовать, и что это было бы глупо называть их «классами» или «интерфейсами», когда на самом деле они только задокументированы (человека) ...
вопрос задан: 12 April 2017 07:31
0
ответов
Adding a custom view to XML… but with a GENERIC-type
I am working on a custom view with a hope of reusability. It should have a generic type, like this: public class CustomViewFlipper extends ViewFlipper { } I know how to bind a normal ...
вопрос задан: 19 June 2016 12:42
0
ответов
Общее программирование через эффекты
В библиотеке «Эффекты Идриса» эффекты представлены в виде ||| Этот тип параметризуется с помощью: ||| + Возвращаемый тип вычисления. ||| + Входной ресурс. ||| + Вычисления для запуска на ...
вопрос задан: 22 January 2016 05:06
0
ответов
Что такое Data.Typeable в Haskell?
Я встречал ссылки на Data.Typeable Haskell, но это мне непонятно, почему я хочу использовать его в своем коде. Какую проблему он решает и как?
вопрос задан: 2 October 2015 02:04
0
ответов
Haskell: получить имя конструктора данных в виде строки
Допустим, у нас есть данные D = X Int | Y Int Int | Z String Я хочу иметь функцию getDConst getDConst :: D -> String, которая возвращает либо "X", "Y", либо "Z", в соответствии с конструктором данных ...
вопрос задан: 18 August 2013 08:39
0
ответов
Общий парный класс
Просто пытаюсь ответить на этот вопрос, который я нашел на прошлом экзамене документ, чтобы я мог подготовиться к предстоящему экзамену по Java. Предоставьте общий класс Pair для представления пар вещей. Класс должен ...
вопрос задан: 14 January 2013 06:56
0
ответов
Диспетчеризация тегов по сравнению со статическими методами в частично специализированных классах
Предположим, я хочу написать универсальную функцию void f (), которая выполняет одно действие, если T является типом POD, и другое. вещь, если T не является POD (или любым другим произвольным предикатом). Один из способов добиться этого ...
вопрос задан: 5 November 2012 05:20
0
ответов
В C: общие контейнеры или безопасные контейнеры?
В C++ вы можете иметь как универсальные, так и типобезопасные контейнеры, используя шаблоны. Однако в C, если вам нужны общие контейнеры, вы должны (afaik )использовать void *, что означает, что вы теряете безопасность типов. Чтобы иметь...
вопрос задан: 3 November 2012 07:15
0
ответов
Вызов методов, общих для типов в boost::variant
Если все типы в моем boost::variant поддерживают один и тот же метод, есть ли способ вызвать его в общем (т.е. не вызывать его отдельно для каждого метода static_visitor)? Я пытаюсь получить ...
вопрос задан: 20 June 2012 00:19
0
ответов
Транспонирование произвольного набора наборов в Scala
I приходится часто транспонировать «прямоугольную» коллекцию-коллекций в Scala, например: список карт, карту списков, карту карт, набор списков, карту наборов и т. д. Поскольку коллекции могут быть единообразно . ..
вопрос задан: 19 May 2012 05:04
0
ответов
Как `HFix` работает в пакете multirec Haskell?
Я понимаю обычный комбинатор с фиксированной точкой и думаю, что понимаю комбинаторы с фиксированным n-типом более высокого порядка, но HFix ускользает от меня. Не могли бы вы привести пример набора типов данных и их (...
вопрос задан: 18 March 2012 08:49
0
ответов
Предотвращение стирания типа Java
Есть ли способ избежать стирания типа и получить доступ к параметру типа? public class Foo & Bar> {public Foo () {// доступ к классу шаблона ...
вопрос задан: 21 December 2011 13:21
0
ответов
Как я могу вычесть два общих объекта (T - T) в C # (пример: DateTime - DateTime)?
Я написал универсальный класс: открытый класс Interval где T: IComparable // для проверки этого Start <Конец {общественное начало T {получить; установленный; } общедоступный T End {получить; установленный; } ...
} И я ...
вопрос задан: 18 November 2011 20:52
0
ответов
D Аналог указателей функций-членов в C ++, не обязательно делегатов
Я изучал D, и мне особенно нравятся его возможности общего программирования. Делегаты замечательные, и, по-видимому, они полностью заменили указатели на функции-члены, так что ...
вопрос задан: 8 November 2011 08:38
0
ответов
Наследование и виртуальные функции против универсального программирования
Мне нужно понять, что действительно ли наследование и виртуальные функции не нужны в C ++, и можно добиться всего, используя универсальное программирование. Это пришло от Александра Степанова и ...
вопрос задан: 4 November 2011 12:57
0
ответов
Сворачивание полиморфного списка в Haskell
У меня есть коллекция записей, распределенных по множеству типов в большом приложении Haskell, которые ссылаются друг на друга. Все задействованные типы реализуют общий класс типов. Класс типов содержит ...
вопрос задан: 13 October 2011 22:31
0
ответов
что может означать это объявление общего класса?
Я знаю, что это не лучший вопрос, и я могу быть проклят, если задам его, но я не могу найти места, где можно получить помощь по этому вопросу. Ниже приводится общий класс, который упоминался в моем вопросе на собеседовании (...
вопрос задан: 24 September 2011 07:29
0
ответов
Как реализовать общий макрос в C?
Func (Paral); Когда param char *, отправка для func_string. Когда это INT, отправка на Funcc_int, я думаю, что может быть решение этого, так как вариабельные типы известны при компиляционном времени ..
вопрос задан: 31 August 2011 13:53
0
ответов
Какой способ лучше для создания шрифтов - агностические структуры в C?
Я пытаюсь написать несколько общих структур. По сути, для моей цели мне нужны шаблоны C ++, но, поскольку я пишу на C, шаблоны не принимаются во внимание. В настоящее время я рассматриваю 2 способа ...
вопрос задан: 15 August 2011 18:59
0
ответов
описатель вложенного имени
У меня есть такой код: namespace mymap {template class Allocator> myownmap {typedef pair typename _myPair; ...
вопрос задан: 27 June 2011 06:34
0
ответов
Для каких типов qsort не работает в C ++?
std :: sort меняет местами элементы с помощью std :: swap, который, в свою очередь, использует конструктор копирования и присваивание операторы, гарантирующие получение правильной семантики при обмене значениями. qsort swaps ...
вопрос задан: 30 May 2011 10:11
0
ответов
Общие / шаблонные рекомендации по программированию: ограничивать или не ограничивать типы
Это мой вопрос . Мне просто любопытно, каков консенсус по ограничению типов, которые могут быть переданы в общую функцию или класс. Я думал, что в какой-то момент прочитал, что если вы делаете ...
вопрос задан: 18 May 2011 17:03
0
ответов
Использование Typeable для частичного применения функции во время выполнения (в любое время, когда типы совпадают)
Общее время программирования! Если у меня есть функция: f :: a1 -> a2 -> a3 -> ... -> an и значение v :: aX - где 1 <= x
вопрос задан: 27 April 2011 17:24
0
ответов
Обычная работа с коллекциями Scala
Я написал функцию для поиска самой длинной общей подпоследовательности (LCS). Например, для двух последовательностей символов BANANA и ATANA он возвращает AANA. Реализация наивно неэффективная адаптация рекурсивной ...
вопрос задан: 20 April 2011 17:07
0
ответов
C ++ vs. D, Ada и Eiffel (ужасные сообщения об ошибках с шаблонами )
Одна из проблем C ++ - это ужасные сообщения об ошибках, которые мы получаем из кода, который интенсивно использует шаблоны и метапрограммирование шаблонов. Концепции разработаны для решения этой проблемы, ...
вопрос задан: 9 April 2011 14:57
0
ответов
Изменение непрозрачности растрового изображения
У меня есть форма, в которой есть изображение. Я использую ползунок, чтобы изменить прозрачность изображения. Итак, в событии «ValueChanged» ползунка я вызываю следующий метод, чтобы изменить прозрачность. //...
вопрос задан: 24 January 2011 05:50