12
ответов
Что пределы типа проверяют и системы типов?
Системы типов часто критикуются, для того, чтобы быть к строгому, который ограничивает языки программирования и запрещает, что программисты пишут интересные программы. Chris Smith требует: Мы добираемся...
вопрос задан: 13 April 2013 21:03
10
ответов
Что лучший (идиоматический) путь состоит в том, чтобы проверить тип переменной Python? [дубликат]
Я должен знать, является ли переменная в Python строкой или dict. Есть ли что-то не так со следующим кодом? если тип (x) == тип (ул. ()): do_something_with_a_string (x) elif тип (x) == тип (dict ()...
вопрос задан: 2 July 2015 02:00
8
ответов
Осуществите сильный тип, регистрируясь C (введите строгость для определений типов),
Существует ли способ осуществить явный бросок для определений типов того же типа? Я должен иметь дело с utf8, и иногда я запутываюсь с индексами для счетчика символов и количества байта. Так это быть хорошим к...
вопрос задан: 26 July 2011 14:36
7
ответов
Я должен проверить типы аргументов конструктора (и в других местах также)?
Python препятствует проверке типов. Но во многих случаях это может быть полезно: Проверка аргументов конструктора. например, проверка булевской переменной противника, строки, dict и т.д., Если я не делаю и устанавливать участников объекта на...
вопрос задан: 13 April 2013 21:06
7
ответов
Вызвать PHP к ошибке на незаявленных переменных? В объектах?
Там какой-либо путь состоит в том, чтобы вынудить PHP аварийно завершиться (ошибка, безотносительно), если я пишу имя переменной c орфографическими ошибками? Что относительно того, если я использую экземпляр класса, и я записываю название переменной непра
вопрос задан: 28 December 2008 21:06
6
ответов
Действительно ли возможно избегать использования типа, регистрируясь в этом примере?
Извините за плохой заголовок, не может думать о сжатом способе поместить это.. Я думаю о наличии списка объектов, которые будут все иметь определенный интерфейс. Каждый из этих объектов может затем реализовать...
вопрос задан: 29 September 2015 02:06
6
ответов
Сравнение выражений текстового объекта
Хорошо, это, вероятно, очень просто, но, я имею ниже "проверок" (не одновременно), и Первое ВСЕГДА оценивает к TRUE, в то время как Второе, КАЖЕТСЯ, работает. Это на самом деле происходит в каждом месте...
вопрос задан: 12 August 2009 20:52
6
ответов
Что является лучшим способом сказать пользователям моих библиотечных функций, что переданные переменные не имеют корректного типа
Я в настоящее время нахожусь в создании библиотеки функций JavaScript. Главным образом для моего собственного использования, но Вы никогда не можете быть уверены, заканчивает ли кто-то еще тем, что использовал его в их проектах, я по крайней мере создаю е
вопрос задан: 10 January 2009 13:42
5
ответов
Введите проверку аргументов Python [дубликат]
Иногда проверка аргументов в Python необходима. например, у Меня есть функция, которая принимает или адрес другого узла в сети как необработанный строковый адрес или класс Узел, который инкапсулирует...
вопрос задан: 19 June 2019 19:46
5
ответов
Это - Pythonic для проверки типов аргумента функции?
Я знаю, ввожу аргументы функции проверки, обычно осуждается в Python, но я думаю, что придумал ситуацию, где имеет смысл делать так. В моем проекте у меня есть Абстрактный базовый класс...
вопрос задан: 13 April 2013 21:02
5
ответов
Действительно ли проверка аргументов функции Perl стоит того?
Существует много шума о MooseX:: Метод:: Подписи и даже перед этим, модули, такие как Params:: Проверьте, которые разработаны для ввода, проверяют каждый аргумент методам или функциям. Я рассматриваю...
вопрос задан: 13 April 2013 21:02
5
ответов
Как добраться, printf разрабатывают предупреждения времени компиляции или ошибки
Я хотел бы записать стандартную программу как printf, не функционально мудрый, а скорее я хотел бы, чтобы стандартная программа имела те же характеристики проверки компиляции времени как printf. Например, если я имею: {интервал i;...
вопрос задан: 23 June 2010 20:07
4
ответа
OCaml: введите объекты проверки
Если у меня есть объект, как я могу определить его тип? (Есть ли эквивалент OCaml оператору instanceof Java?)
вопрос задан: 13 April 2013 21:03
4
ответа
Существует ли способ проверить, является ли переменной Дата в JavaScript? [дубликат]
Я задавался вопросом, существует ли какой-либо способ проверить, является ли объектом конкретно Дата в JavaScript. isType возвращает объект для Даты, которая не является достаточно для этого сценария. Какие-либо идеи?Спасибо!
вопрос задан: 14 May 2010 01:39
4
ответа
Проверьте, является ли что-то списком
Что состоит в том, чтобы проверить самый легкий путь, является ли что-то списком? Метод doSomething имеет параметры a и b. В методе это циклично выполнится через список a и сделает что-то. Я хотел бы способ удостовериться...
вопрос задан: 15 April 2010 15:32
3
ответа
Как проверить, является ли объект Ruby булевской переменной
Я, может казаться, не проверяю, является ли объект булевской переменной легко. Есть ли в Ruby что-то вроде этого? верный is_a? (Булева) ложь is_a? (Булевская переменная) Прямо сейчас я делаю это и хотел бы сократить ее:...
вопрос задан: 22 May 2019 23:45
3
ответа
То, как я обнаруживаю, что объект является универсальным набором, и что вводит его, содержит?
У меня есть строковая утилита сериализации, которая берет переменную (почти) любого типа и преобразовывает его в строку. Таким образом, например, согласно моей конвенции, целочисленное значение 123 было бы...
вопрос задан: 23 May 2017 10:27
3
ответа
Как typecheck bool [duplicate]
Это прекрасно компилируется. def f (x: bool) - & gt; bool: return x f ('a') Как это сделать? - StackOverflow не убежден, что вопрос выше достаточно ясен. Поэтому я пишу немного больше и ...
вопрос задан: 28 December 2016 14:05
3
ответа
Java: Instanceof и Generics
Прежде чем я просмотрю свою универсальную структуру данных для индекса значения, я хотел бы видеть, является ли это даже экземпляр типа, это было параметризовано к. Но Eclipse жалуется, когда я делаю это:...
вопрос задан: 13 April 2013 21:03
3
ответа
Как я могу Проверить Объект Видеть его Тип и Возврат Литой Объект
У меня есть метод, которому я передаю объект. В этом методе я проверяю, что это - тип, и в зависимости от типа я делаю что-то с ним и возвращаю Длинное. Я попробовал во все стороны, я могу думать, чтобы сделать это...
вопрос задан: 13 April 2013 21:01
3
ответа
То, что состоит в том, чтобы сделать самый легкий путь, 'находится' в Java?
Много языков имеют средство для проверки, чтобы видеть, имеет ли Объект определенный тип (включая родительские подклассы), реализованный с и используется как это: если (obj MyType), Или немного более утомительно...
вопрос задан: 26 October 2008 04:13
2
ответа
Проверка параметра типа общего метода в C#
Это возможный сделать что-то вроде этого в C#: общественность освобождает DoSomething <T> (T t) {если (T MyClass) {мГц MyClass = (MyClass) t...} еще, если (T Список <...
вопрос задан: 17 June 2015 17:30
2
ответа
Отрывок Java, который вызывает переполнение стека в компиляторе или typechecker (javac)?
Вчера на семинаре предъявитель (Peter Sestoft) показал маленькую программу Java, с 3 классами, показав и ковариантность и контравариантность. При попытке скомпилировать использование javac, тип...
вопрос задан: 19 February 2014 23:34
2
ответа
Кто-то может объяснить эти немного строк MSIL?
Кто-то может объяснить эти немного строк MSIL? Почему это перемещает значение от стопки оценки к локальной переменной, только чтобы сразу положить обратно его и возвратить его? Следующий код MSIL загружается...
вопрос задан: 13 April 2013 21:04
2
ответа
Лучше введите начинающее работу соответствие в Scala
scala> класс A определил класс A scala>, класс B определил класс B scala> val a: = новый a: = A@551510e8 scala> соответствие {| случай _: B => println ("вряд ли") | случай _ =>...
вопрос задан: 2 August 2010 15:30
1
ответ
Проверка типов в C ++
В C ++ я хочу знать, принадлежит ли фактический тип объекта к тому же классу , а не тот же класс или производный. Это похоже на следующий код C #: Class Base
{
} Дочерний класс: Base
{
...
вопрос задан: 23 November 2012 19:53
0
ответов
Проверка конкретного конструктора данных
Допустим, я определил свой собственный тип данных, например data MyData = A arg | B arg2 | C arg3 Как мне написать функцию (например: isMyDataType), которая проверяет, является ли данный аргумент одним из ...
вопрос задан: 19 November 2015 16:08
0
ответов
Тип проверки для JavaScript?
Кто-нибудь знает, есть ли хороший инструмент для анализа кода JavaScript и обнаружения ошибок типа? Я знаю, что сам JavaScript имеет слабую и динамическую типизацию, но было бы здорово, если бы я мог ...
вопрос задан: 7 August 2015 14:27
0
ответов
Какой питонический/быстрый способ проверить, является ли аргумент "key" пользовательского метода __getitem__ срезом?
У меня есть пользовательский тип Sequence. По сути, это обертка для списка плюс булевский флаг, и я хотел, чтобы он эмулировал обычное поведение неизменяемой последовательности. Моя проблема заключается в нарезке. Я понимаю, что в ...
вопрос задан: 27 May 2015 13:02
0
ответов
Свифт & ndash; Требовать, чтобы классы, реализующие протокол, были подклассами определенного класса.
Я создаю несколько классов NSView, каждый из которых поддерживает специальную операцию, которую мы будем называть transmogrify. На первый взгляд кажется, что это идеальное место для протокола: протокол ...
вопрос задан: 7 January 2015 08:18