Результаты поиска по запросу "typechecking"
Обеспечить строгую проверку типов в C (строгость типов для typedefs)
Есть ли способ обеспечить явное приведение для typedefs того же типа? Мне приходится иметь дело с utf8, и иногда я путаюсь с показателями количества символов...
Каков наилучший (идиоматический) способ проверки типа переменной Python? [Дубликат]
На этот вопрос уже есть ответ здесь:Каковы различия между type () и isinstance ()? 6 ответовМне нужно знать, является ли переменная в Python строкой или дикт...
Проверка параметра типа универсального метода в C #
Возможно ли сделать что-то подобное в C #: public void DoSomething<T>(T t) { if (T is MyClass) { MyClass mc = (MyClass)t ... } else if (T is List<MyClass>) { List<MyClass> lmc = (List<MyClass>)t ... } }
Есть ли способ заставить SQL-сервер проверять ссылки на объекты в хранимых процессах?
Следующий код прекрасно работает в SQL Server create proc IamBrokenAndDontKnowIt as select * from tablewhichdoesnotexist Конечно, если я попытаюсь запустить его, он потерпит неудачу с Неверное имя объекта 'tablewhichdoesnotexist'. Есть ли ...
Макросы Scala: в чем разница между типизированными (то есть проверенными типами) нетипизированными деревьями
Я начинаю с макросов scala, они классные, но я сталкиваюсь с разницей между типизированным (то есть проверенным типом) и нетипизированнымTrees. Например, вы не можете позвонитьc.eval с проверенным типом дерева по какой-то причине. Я не могу ...
в haskell это ключ к изучению haskell.
тим, я определил свой собственный тип данных как data MyData = A arg| B arg2| C arg3Как бы я написал функцию (например:isMyDataType) проверяет, является ли данный аргумент одним из конкретных типов вMyData и последовательно возвращает логическое ...
Проверка типа: итеративный тип, который не является строкой
Чтобы объяснить лучше, рассмотрим эту простую функцию проверки типа: from collections import Iterable def typecheck(obj): return not isinstance(obj, str) and isinstance(obj, Iterable)Еслиobj итеративный тип, отличный отstr, это возвращаетTrue, ...
Либеральное условие покрытия, введенное в коде GHC 7.7, действует в GHC 7.6.
Идея Я пишуDSL [http://en.wikipedia.org/wiki/Domain-specific_language], который компилируется в Haskell. Пользователи этого языка могут определять собственные неизменяемые структуры данных и связанные с ними функции. Под ассоциированной ...
Как определить, что объект является универсальной коллекцией и какие типы он содержит?
У меня есть утилита сериализации строк, которая берет переменную (почти) любого типа и преобразует ее в строку. Так, например, согласно моему соглашению, целочисленное значение 123 будет сериализовано как «i: 3: 123» (i = целое число; 3 = длина ...