1
ответ
Как передать размер массива как шаблон с шаблонным типом?
Мой компилятор ведет себя странно, когда я пытаюсь передать массив фиксированного размера шаблонной функции. Код смотрит следующим образом: #include <алгоритм> #include <iostream> #include <итератор>...
вопрос задан: 17 December 2012 12:23
1
ответ
Сделайте Тест. QuickCheck. Пакет использует тип по умолчанию для тестирования функций списка
Я тестирую функцию, вызванную извлечения, который работает по любому списку. извлечения::-> [(a)] извлечения [] = [] извлечения l = извлекают l [] где извлечение [] _ = []...
вопрос задан: 17 December 2011 20:42
1
ответ
Вопрос о выводе типа Scala
Я просто слонялся с превосходным осуществлением Tony Morris на catamorphisms, когда я обдумывал то, что происходило в следующей ситуации... определение Cata [X] (некоторые: => X, ни один: => X): X...
вопрос задан: 14 December 2010 00:06
1
ответ
Почему вывод типа Scala перестал работать здесь?
У меня есть этот класс в Scala: возразите Util {Клавиша класса (tapMe: A) {касание определения (f: => Единица): = {f (tapMe) tapMe} касание определения (фс: (=> Единица) *): = {fs.foreach (...
вопрос задан: 23 July 2010 07:25
1
ответ
Почему универсальный вывод типа не работает в этом случае?
При попытке скомпилировать следующий код в LINQPad: освободите Основной () {DriveInfo. GetDrives ().Select (GetProviderName).Dump ();} статическая строка GetProviderName (диск DriveInfo) {//некоторые...
вопрос задан: 26 May 2010 14:13
1
ответ
Как назвать общий метод с анонимным типом, включающим дженерики?
У меня есть этот код, который работает: определение testTypeSpecialization: Строка = {класс Foo [T] определение добавляет [T] (obj: Foo [T]): Foo [T] = obj определение addInt [X <% Foo [Интервал]] (obj: X): X = {добавляют (obj)...
вопрос задан: 11 May 2010 19:51
1
ответ
Почему Delphi не может вывести тип для параметра TEnumerable <T>?
Считайте следующее объявление универсального служебного класса в Delphi 2010: TEnumerableUtils = InferenceTest <T> функции класса общественности класса (Param: T): T; количество <T> функции класса (...
вопрос задан: 25 April 2010 23:34
1
ответ
Используя бесплатную функцию как псевдоконструкторы для использования шаблонного вычета параметра
Действительно ли это - общий шаблон/идиома для использования бесплатных функций в качестве псевдоконструкторов, чтобы избежать необходимости явно указывать шаблонные параметры? Например, все знают о станд.:: make_pair, который использует...
вопрос задан: 17 March 2010 22:59
1
ответ
Перегрузка, универсальный вывод типа и 'params' ключевое слово
Я просто заметил странное поведение с разрешением перегрузки. Предположите, что у меня есть следующий метод: общедоступный статический пустой DoSomething <T> (IEnumerable <T> объекты) {//Безотносительно//...
вопрос задан: 30 November 2009 15:58
1
ответ
Какова стоимость “как” по сравнению с QueryInterface в COM или dynamic_cast в C++?
Я все еще пытаюсь отобразить свое глубокое и старое знание от C/C++ до моего несколько более мелкого знания .NET. Сегодня время настало к "как" (и неявно и бросок) в C#. Моя умственная модель "как"...
вопрос задан: 30 November 2009 09:07
1
ответ
Принуждение вывода типа F# на дженериках и интерфейсах для пребывания свободным
Мы становимся' волосатыми здесь. Я протестировал набор синхронизирующего дерево кода конкретных представлений данных, и теперь я должен абстрагировать его так, чтобы это могло выполнить с любым источником и целью ту поддержку...
вопрос задан: 27 November 2009 15:40
1
ответ
Обработка ошибок в Haskell с Любой монадой
У меня есть функция, которая проверяет, является ли тип подтипом другого типа: Св.:: Монада m => Строковый тип Карты - ^type среда-> Набор (Тип, Тип) - ^assumed подтипы-> (Тип...
вопрос задан: 3 June 2009 01:04
1
ответ
Почему вывод типа F# не может обработать это?
У меня есть последовательность FileInfo, но я только забочусь об их названиях строк, таким образом, я хочу последовательность строки. Сначала я попробовал что-то вроде этого: Seq.map (забава fi-> fi. Имя) fis, Но по некоторым причинам...
вопрос задан: 10 May 2009 05:07
0
ответов
Потоки и делегаты - я не совсем понимаю их отношения
Я написал код, который выглядит примерно так: Thread t = new Thread (() => createSomething (dt, start , финиш) );
t.Start (); И это работает (иногда кажется, что есть несколько потоков).
...
вопрос задан: 2 January 2019 14:23
0
ответов
Вывод типа SWIFT 4.1 для общего массива отличается от Swift 4.0
Рассмотрим фрагмент кода ниже: struct Foo & lt; E & gt; {var elements: [E] init (_ elements: [E]) {self.elements = elements}} var f = Foo ([1.3, 4.5, 6]) print (f) Обратите внимание, что ...
вопрос задан: 13 July 2018 22:08
0
ответов
Получение правильного вывода типа для более сложного типа в универсальном методе
Я работаю в рамках .NET 2.0. У меня есть работающий код, просто хочу, чтобы он работал немного более элегантно. Мне нужно эффективно "зеркально" отражать объект Dictionary, чтобы, если мы начнем с ...
вопрос задан: 31 October 2017 12:11
0
ответов
Как кодировать WAV в mp3 на устройстве Android
Я упростил свой вопрос и предложил вознаграждение:
Какие есть варианты для сжатия необработанных аудиоданных PCM в mp3 на устройстве Android. Мой оригинальный пост:
Я создаю синтезатор на своем Android ...
вопрос задан: 19 October 2017 04:09
0
ответов
Тип, присвоенный Nothing в Scala
Когда я пытаюсь скомпилировать небольшой пример: trait Foo [A, B] {type F [_, _] def foo (): F [A, B]
} class Bar [A, B] расширяет Foo [A, B] {type F [D, E] = Bar [D, E] def foo () = this
} object Helper {def ...
вопрос задан: 18 June 2017 15:02
0
ответов
Насколько это перебор с ключевым словом auto в C ++ 11?
Я использовал новое ключевое слово auto, доступное в стандарте C ++ 11 для сложных шаблонных типов, и это то, что я считаю, что он был разработан для. Но я также использую его для таких вещей, как: auto foo = std: ...
вопрос задан: 25 May 2017 21:45
0
ответов
Вывод сигнатуры вызова лямбды или произвольного вызываемого объекта для «сделать _функцию»
В некоторых ситуациях желательно иметь возможность набрать -для удаления вызываемого (, например. функция, указатель функции, экземпляр объекта с оператором (), лямбда, память _fn ), например, в разделе Использование адаптеров Boost с C++...
вопрос задан: 23 May 2017 12:33
0
ответов
Может ли автоматическое использование скобок означать прототип функции?
Этот вопрос возник из-за невозможности использовать синтаксис равномерной инициализации с ключевым словом auto, потому что он обрабатывает его как std :: initializer_list (объяснение в комментариях здесь ). Возьмем ...
вопрос задан: 23 May 2017 12:26
0
ответов
Рекурсивный вызов в лямбда (C ++ 11) [дубликат]
Возможный дубликат: рекурсивные лямбда-функции в C ++ 0x Почему я не могу вызвать лямбда рекурсивно, если я пишу его как: auto a = [& ]
{статический int я = 0; i ++; std :: cout << i << std: ...
вопрос задан: 23 May 2017 12:25
0
ответов
Почему эти аргументы не могут быть выведены эти аргументы? [Дубликат]
Возможный дубликат: C # 3.0 Вывод генерического типа - передача делегата в качестве параметра функции, почему нельзя выводить аргументы типа следующего кода в вызове в основном. Используя ...
вопрос задан: 23 May 2017 12:12
0
ответов
Scala :возвращение имеет свое место
Ссылки :Ключевое слово возврата Scala обработка ошибок в контроллерах scala EDIT3 Это «окончательное» решение, опять же благодаря Дэну Бертону. def save = Action { неявный запрос => val (orderNum, ip )=...
вопрос задан: 23 May 2017 12:02
0
ответов
Почему python не может выводить такие типы, как scala? [дубликат]
Возможный дубликат: что делать со статической типизацией Python? Я в основном программист на Java с небольшим знанием python. Мне очень нравится синтаксис python и легкость, с которой ...
вопрос задан: 23 May 2017 12:00
0
ответов
Что делает систему типов Haskell более «мощной», чем системы типов других языков?
Недостатки чтения системы типов Scala по сравнению с Haskell? Я должен спросить: что конкретно делает систему типов Haskell более мощной чем системы типов других языков (C, C ++, Java). ...
вопрос задан: 23 May 2017 11:58
0
ответов
Вывод типа более строгий в JDK 7, чем в JDK 6?
Я думаю, это может быть связано с тем, почему универсальное приведение List до List успешно на Sun JDK 6, но не компилируется на Oracle JDK 7? Если мы возьмем следующее ...
вопрос задан: 23 May 2017 11:56
0
ответов
Вывод типа «var» в C # [дубликат]
Возможный дубликат: почему var оценивается как System.Object в «foreach ( var row in table.Rows) »? Я был весьма удивлен, обнаружив сегодня следующее .... SqlDataReader reader = ...
вопрос задан: 23 May 2017 11:43
0
ответов
Вывод типа, реализованный на C ++
Существует ли реализация на C ++ вывода типа стиля Дамаса-Хиндли-Милнера, предпочтительно с использованием современных методов C ++?
вопрос задан: 23 May 2017 10:30
0
ответов
Заменить недопустимые нижние границы в универсальном методе Java?
Я хотел бы сделать следующее: public class ImmutableList { public ImmutableList add(U element) { ... }
} То есть, учитывая неизменяемый список T, вы можете добавить ...
вопрос задан: 23 May 2017 10:24