Результаты поиска по запросу "typechecking"
Проверка во время выполнения броска из пустоты *
Скажи, что у меня есть
Каково поведение при несовпадении типов между объявлением extern и определением?
Предположим, у меня есть два файла: == File1 == extern char* foo;== File2 == double foo;Эти два файла, похоже, прекрасно компилируются и связываются как с g ++, так и clang ++, несмотря на несоответствие типов. Насколько я ...
в haskell это ключ к изучению haskell.
тим, я определил свой собственный тип данных как data MyData = A arg| B arg2| C arg3Как бы я написал функцию (например:isMyDataType) проверяет, является ли данный аргумент одним из конкретных типов вMyData и последовательно возвращает логическое ...
Проверка, является ли объект заданным типом в Swift
У меня есть массив, который состоит из
Проверка типа: итеративный тип, который не является строкой
Чтобы объяснить лучше, рассмотрим эту простую функцию проверки типа:
Можно ли принудить проверку данных в MySQL с помощью регулярного выражения
Предположим, у меня есть атрибут, называемый номером телефона, и я хотел бы обеспечить определенную достоверность записей в этом поле. Могу ли я использовать регулярные выражения для этой цели, так как регулярные выражения очень гибки в ...
Обеспечить строгую проверку типов в C (строгость типов для typedefs)
Есть ли способ обеспечить явное приведение для typedefs того же типа? Мне приходится иметь дело с utf8, и иногда я путаюсь с показателями количества символов...
Есть ли способ заставить SQL-сервер проверять ссылки на объекты в хранимых процессах?
Следующий код прекрасно работает в SQL Server create proc IamBrokenAndDontKnowIt as select * from tablewhichdoesnotexist Конечно, если я попытаюсь запустить его, он потерпит неудачу с Неверное имя объекта 'tablewhichdoesnotexist'. Есть ли ...
Проверьте, является ли переменная строкой в Ruby
Есть ли что-то более идиоматическое, чем следующее? foo.class == String