0
ответов
IDE Python с автозавершением кода, включая вывод типа объекта-параметра
Я протестировал множество IDE Python на предмет их возможностей автозавершения кода. Существует ли такая, которая может выполнять автозавершение кода в следующем случае: def foo (x): print x.read () // удаляем эту строку, ...
вопрос задан: 14 October 2011 18:49
0
ответов
Вывод метода не работает с группой методов
Рассмотрим void Main ()
{var list = new [] {"1", "2", "3"}; list.Sum (GetValue); // ошибка CS0121 list.Sum (s => GetValue (s)); // работает!
} double GetValue (string s)
{double val; ...
вопрос задан: 12 October 2011 20:11
0
ответов
Странная ошибка типа в let-выражении Haskell - в чем проблема?
Сегодня я столкнулся с неприятной проблемой в Haskell Вот что произошло: я написал функцию в ghci и присвоил ей сигнатуру типа
ghci compla о типе
Я удалил сигнатуру типа
ghci ...
вопрос задан: 5 October 2011 14:30
0
ответов
Можно ли сделать следующее с помощью auto в C ++ 0x?
Эрик Липперт написал статью о том, почему нет var на полях? в C #. Мне было любопытно, сможем ли мы сделать это в C ++ 0x? напр. struct mystruct_t
{авто i = 0, d = 0.0, s = std :: string ("ноль");
}; ...
вопрос задан: 1 October 2011 14:01
0
ответов
- это вывод типа Haskell в действии, или что-то еще?
Я работаю через онлайн-книгу Lyah (ссылка займет вас непосредственно к разделу, которое касается моего вопроса о проблемах). Автор определяет тип бинарного дерева данных и показывает, как его можно сделать ...
вопрос задан: 8 September 2011 01:31
0
ответов
Почему Scala выбирает вид типа «продукта» для «для» выражений, связанных с либо определениями значений
, если я создаю значение для понимания с определением значения с вариантом, он работает Как и ожидалось: SCALA> для (A <- некоторые (4); b <- некоторые (5); val p = a * b) доход
RES0: Опция [int] = ue (20) делает ...
вопрос задан: 2 September 2011 22:06
0
ответов
Отсутствие выводов типа приводит к неисправности, не посвященные неисправности
, я отбухнул, почему этот код компилирует с подсказками типа, но не скомпилируется без. Не должно быть никаких неоднозначных чисел (есть один экземпляр). Класс Monad M => FCNDEF β M | β -> ...
вопрос задан: 29 August 2011 01:33
0
ответов
scala 2.9: планы по определению типа параметров функции с аргументами по умолчанию?
Я только начинаю работать с Scala. Я использую Python для исследовательского программирования и конвертирую довольно большую (~ 4000 строк) программу Python. Несколько комментариев: Похоже, самое время ...
вопрос задан: 23 August 2011 08:48
0
ответов
Каковы примеры эффективных языков с логическим выводом типов, подходящих для работы с многомерными массивами
Меня не очень волнует сборка мусора, если она есть, она должна быть необязательной. Язык D отвечает всем требованиям, но я изучаю другие варианты. Удивительно для меня, это кажется малонаселенным ...
вопрос задан: 23 August 2011 00:56
0
ответов
Как обойти ограничения вывода типа в универсальных методах
Я пытаюсь реализовать универсальный метод, который предназначен для преобразования объектов типа Tuple в объекты типа Tuple . Я столкнулся с проблемой, которая кажется ...
вопрос задан: 21 August 2011 18:16
0
ответов
, Почему делают 3 и x (который был присвоен 3), имеют различные выведенные типы в Haskell? [дубликат]
Вывод типа в Haskell имеет определенную кривую обучения (по меньшей мере!). Хороший способ начать изучать это с простыми примерами. Так, следующее - что-то вроде "привет мир" для вывода типа....
вопрос задан: 17 August 2011 20:33
0
ответов
Необычность вывода типов в Haskell
Посмотрите на этот вывод ghci: Prelude>: t Data.Map.lookup
Data.Map.lookup :: Ord k => k -> Data.Map.Map k a -> Может быть
Prelude>: t flip Data.Map.lookup
flip Data.Map.lookup :: Ord a = & ...
вопрос задан: 17 August 2011 19:37
0
ответов
F # и утиная типизация
Допустим, я определил в F # следующие два типа: type Dog = {DogName: string; Возраст: int}
введите Cat = {CatName: строка; Age: int} Я ожидал, что следующий метод будет работать и для кошек, и для собак: ...
вопрос задан: 15 August 2011 14:13
0
ответов
ссылка свертывается. для локальных переменных
В шаблоне функции, параметризованном на T, тип T && может быть или не быть ссылкой на rvalue, в зависимости от категории значения аргумента: template
void function (T & ...
вопрос задан: 11 August 2011 09:39
0
ответов
вывод аргументов шаблона для конструкторов [дубликат]
Есть ли в C ++ 0x имеют (или C ++ 0x в какой-то момент собирался иметь) вывод аргументов шаблона для конструкторов? В обзоре будущего стандарта C ++ (C ++ 0x) я увидел следующие строки: std :: ...
вопрос задан: 7 August 2011 09:35
0
ответов
Как я могу улучшить вывод типа Scala с параметрами типа, которые не отображаются в первом списке параметров ?
Чтобы проиллюстрировать мою точку зрения, вот пример: абстрактный класс Wrapper [A] (wrapped: A) {protected def someCondition: Boolean def fold [B] (whenTrue: => B) (whenFalse: => B): B = if (...
вопрос задан: 5 August 2011 09:52
0
ответов
Можно ли наложить ограничения неравенства на переменные типа haskell?
Можно ли наложить ограничение неравенства на переменные типа функции, a la foo :: (a ~ b) => a -> b как в документации по семейству типов GHC,кроме неравенства, а не равенства? Я понимаю ...
вопрос задан: 4 August 2011 15:14
0
ответов
Как намекнуть на вывод типа при использовании статического импорта?
Я использую junit с hamcrest в своих модульных тестах, и я столкнулся с проблемой дженериков : assertThat (коллекция, пустой ()); Я знаю, что вывод типа недоступен таким образом, и что один из ...
вопрос задан: 30 July 2011 15:25
0
ответов
Алгоритм Хиндли-Милнера в Java
Я работаю над простым система на основе потока данных (представьте ее как редактор / среда выполнения LabView), написанная на Java. Пользователь может соединять блоки вместе в редакторе, и мне нужен вывод типа, чтобы гарантировать ...
вопрос задан: 21 July 2011 22:20
0
ответов
Как я могу реализовать ранний возврат извне тела метода в Scala?
Отказ от ответственности: прежде, чем кто-то это скажет: да, я знаю это плохой стиль и не поощряется. Я просто делаю это, чтобы поиграть со Scala и попытаться узнать больше о том, как работает система вывода типов и как ...
вопрос задан: 8 July 2011 20:19
0
ответов
Именованные аргументы и вывод универсального типа в C # 4.0
Я программировал в предположении, что при вызове метода в C # 4.0 предоставление имен для ваших аргументов не повлияет на результат если при этом вы не «пропускали» один или несколько ...
вопрос задан: 6 July 2011 10:43
0
ответов
Указание для Eclipse / JSDT типа переменной Javascript
Я пытаюсь использовать Eclipse для разработки некоторых серверных Javascript. В используемом мной API есть функция doStuff (строка, объект) (имена изменены для защиты виновных), которая возвращает различное значение ...
вопрос задан: 3 July 2011 17:51
0
ответов
Scala String vs java.lang.String - вывод типа
В REPL я определяю функцию. Обратите внимание на тип возврата. & GT Scala; def next (i: List [String]) = i.map {"0" + _} ::: i.reverse.map {"1" + _} next: (i: List [String]) List [java. lang.String] А если я ...
вопрос задан: 2 July 2011 22:35
0
ответов
Неожиданный эффект неявного преобразования при выводе типа делегата
I иметь простой тип Money с неявным преобразованием из десятичного числа: struct Money
{десятичное внутреннее значение; публичный статический неявный оператор Money (десятичное значение) {return new Money {...
вопрос задан: 30 June 2011 12:15
0
ответов
Шаблоны функций D и вывод типа
Рассмотрим следующий код: module ftwr; import std.regex;
import std.stdio;
import std.conv;
import std.traits; S потребляют (S) (ref S data, Regex! (Unqual! (Typeof (S.init [0]))) rg)
{Writeln ...
вопрос задан: 21 June 2011 21:41
0
ответов
Литералы функций и делегатов в D
Чтение TDPL о литералах функций и делегатов (5.6.1) auto f = (int i) {}; assert (is (f == функция)); У меня ошибка утверждения. Верно ли это утверждение? Я пробовал следующее: int z = ...
вопрос задан: 21 June 2011 21:36
0
ответов
Неоднозначные типы с использованием ListLike
Я пишу функцию в Haskell для создания гистограммы из любого ListLike с элементами Ord: импортируйте квалифицированные Data.ListLike as LL
...
частоты :: (Ord x, LL.ListLike xs x) => xs -> [(x, Int)]
...
вопрос задан: 19 June 2011 20:38
0
ответов
См. Выводимые типы в сложном коде OCaml
Я новичок в OCaml, работаю с довольно сложным (по крайней мере для меня) кодом OCaml, которого я не писал. Было бы очень полезно понять это, если бы я мог видеть предполагаемые типы для некоторых значений, поскольку я могу ...
вопрос задан: 17 June 2011 17:34
0
ответов
Красное подчеркивание ReSharper при выводе типа в VS 2010
Я получаю странную ошибку в VS 2010. У меня есть проект, который нужно использовать .NET Framework 4. Когда я набираю код: var record = ...; // возвращает IEnumerable
var Staff = new StaffRepository () ....
вопрос задан: 14 June 2011 02:01
0
ответов
Вывод универсальных типов вложенных статических универсальных функций
Может ли компилятор Java вывести тип общей статической функции из ее контекста в качестве аргумента другой универсальной статической функции? Например, у меня есть простой класс Pair: public class ...
вопрос задан: 7 June 2011 13:14