0
ответов
How to see if a type implements an interface?
I need to know if a Type implements an interface. Dim asmRule As System.Reflection.Assembly = System.Reflection.Assembly.LoadFrom(System.IO.Path.Combine(AppDomain.CurrentDomain.BaseDirectory, "...
вопрос задан: 17 July 2013 13:05
0
ответов
Check compatibility of a method with a given Delegate?
In C# code, how do I check if a given method can be represented by a particular delegate type? I first tried something, based on my Type knowledge, along the lines of: // The delegate to test ...
вопрос задан: 13 April 2013 20:58
0
ответов
Пытаться / поймать или проверить скорость?
Я работаю с Python и всякий раз, когда мне приходилось проверять ввод функции, я предполагал, что ввод работает, а потом ловил ошибки. В моем случае у меня был универсальный класс Vector (), который я использовал несколько раз ...
вопрос задан: 13 April 2013 20:57
0
ответов
Проверка типа php для параметров метода - стоит ли оно того?
Мне интересно, что, по вашему мнению, лучше всего здесь - стоит ли вам очень дорого проверять параметры в PHP? То есть вы на самом деле видели заметно меньше ошибок в проектах, где вы ...
вопрос задан: 13 April 2013 20:56
0
ответов
Получение различных и несопоставимых типов из int в C ++
Я знаю, что не могу получить производное от int, и в этом даже нет необходимости, это было всего лишь одно (не) решение, которое пришло мне в голову для проблемы ниже. У меня есть пара (foo, bar), оба из которых представлены ...
вопрос задан: 13 April 2013 20:56
0
ответов
Проверьте, является ли переменная строкой в Ruby
Есть ли что-то более идиоматическое, чем следующее? foo.class == Строка
вопрос задан: 13 April 2013 20:55
0
ответов
Зачем использовать toString () для проверки типов аргументов, которые можно проверить с помощью typeof?
Я понимаю, почему вам нужно использовать Object.prototype.toString () или String () для массивы проверки типов, но не достаточно ли typeof для функций проверки типов и строк? Например, полифилл на MDN ...
вопрос задан: 13 April 2013 20:53
0
ответов
Проверка во время компиляции, если аргумент шаблона недействителен
Я пытаюсь обернуть функции API Windows для проверки ошибок, когда я этого захочу. Как я выяснил в предыдущем SO-вопросе, я мог бы использовать шаблонную функцию для вызова функции API, а затем вызывать...
вопрос задан: 13 April 2013 20:52
0
ответов
Как проверить, имеет ли параметр шаблона функции определенный тип?
Допустим, у меня есть функция с типом шаблона T и двумя другие классы A и B. template
void func (const T & t)
{........... // проверяем, выполняется ли T == A что-то ........... ...
вопрос задан: 13 March 2013 10:27
0
ответов
Как справиться с «паникой: невозможное» произошло »и продолжаем в Haskell
. У меня есть следующий код, который использует GHC API для загрузки модулей и получения типа выражения: typeObjects :: [String] -> [String] -> IO [Type]
typeObjects modules objects = do ...
вопрос задан: 6 January 2013 07:02
0
ответов
Использование протоколов Objective C
У меня есть домашний вопрос, который меня действительно смутил плохо. Ниже приводится краткое объяснение вопроса. Представьте, что вы разрабатываете приложение, в котором хранится контактная информация. Адресная книга ...
вопрос задан: 18 September 2012 03:00
0
ответов
Haskell: Почему эта проверка типов?
Это минимальный пример, взятый из Reflection-0.5. {- # LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances # -}
{- # OPTIONS_GHC -fno-cse -fno-full-laziness -fno -...
вопрос задан: 23 January 2012 22:56
0
ответов
Статическая проверка типов в Erlang
Я постепенно влюбляюсь в Erlang, и у меня есть только одна большая, большая проблема. Я большой поклонник таких языков как Standart ML и ocaml с их сильной статической проверкой типов. Есть ли хороший и чистый способ ...
вопрос задан: 14 December 2011 14:57
0
ответов
Ошибки типов с экзистенциальными типами в Haskell
Я борюсь с экзистенциальными типами в своей программе. Мне кажется, что я пытаюсь сделать что-то очень разумное, но я не могу пройти проверку типа :( У меня есть тип данных, который как бы имитирует монаду ...
вопрос задан: 25 November 2011 21:12
0
ответов
Ошибка типа при присвоении допустимого типа forall переменной с привязкой к let
Является ли это ошибкой в средстве проверки типов? Prelude> let (x :: forall a. A -> a) = id in x 3 : 0: 31: Не удалось сопоставить ожидаемый тип `forall a. a -> a 'с фактическими ...
вопрос задан: 18 November 2011 23:35
0
ответов
Проверьте, соответствует ли переменная Haskell параметру пользовательского типа данных
Итак, у меня есть тип данных вроде: data Token = NUM Int | Строка ID | EOF и у меня есть функция вроде: doStuff list = let (token, rest) = getToken list in .... Итак, что я ...
вопрос задан: 26 October 2011 00:49
0
ответов
Алгоритм проверки типа ML-подобного сопоставления с образцом?
Как вы определяете, является ли данный шаблон «хорошим», в частности, является ли он исчерпывающим и непересекающимся для языков программирования в стиле ML? Предположим, у вас есть такие шаблоны, как: match lst ...
вопрос задан: 24 October 2011 23:12
0
ответов
Лучшая практика для определения типа объекта в Javascript
Если у вас есть экземпляр объекта в javascript, это может быть сложно чтобы найти его фактический тип, то есть var Point2D = function Point2D (x, y) {return {X: x, Y: y}
} var p = ...
вопрос задан: 15 October 2011 01:03
0
ответов
Существуют ли сигнатуры типов, которые Haskell не может проверить?
Это статья устанавливает, что вывод типа (называемый в статье «типизируемостью») в Системе F неразрешим. То, о чем я никогда не слышал упоминания в другом месте, - это второй результат статьи, а именно, что «тип ...
вопрос задан: 4 October 2011 07:42
0
ответов
тип последовательности закрытия
Какой правильный тип последовательности? У меня есть этот код: (defrecord MethodInfo [^ clojure.lang.ISeq preconds ^ clojure.lang.ISeq postconds]) Но, похоже, он неправильно применяет тип ...
вопрос задан: 18 July 2011 02:07
0
ответов
Быстрый способ ввода символа проверки в функции с удерживаемыми аргументами
Можно проверить, является ли аргумент символом без явного значения, используя: func [s_Symbol] = ... Если функция имеет атрибут Hold, однако этот шаблон будет соответствовать всем символам, а не только тем ...
вопрос задан: 1 May 2011 12:28
0
ответов
Javascript: Вы можете прочитать системный том?
Есть ли способ прочитать том системы (Linux, Windows, OS / X и т. Д.) С помощью Javascript? Мне не нужно его устанавливать, просто прочтите? спасибо
вопрос задан: 20 March 2011 13:05
0
ответов
Есть ли способ чтобы проверить, является ли тип типом перечисления?
Кто-то дает мне тип t. Я хотел бы знать, является ли этот тип перечислением или нет. public bool IsEnumeration (Тип t)
{// Тайный код. выбросить новое NotImplementedException ();
} public void ...
вопрос задан: 20 January 2011 18:58