Результаты поиска по запросу "typechecking"
Макросы Scala: в чем разница между типизированными (то есть проверенными типами) нетипизированными деревьями
Я начинаю с макросов scala, они классные, но я сталкиваюсь с разницей между типизированным (то есть проверенным типом) и нетипизированнымTrees. Например, вы не можете позвонитьc.eval с проверенным типом дерева по какой-то причине. Я не могу ...
Либеральное условие покрытия, введенное в коде GHC 7.7, действует в GHC 7.6.
Идея Я пишуDSL [http://en.wikipedia.org/wiki/Domain-specific_language], который компилируется в Haskell. Пользователи этого языка могут определять собственные неизменяемые структуры данных и связанные с ними функции. Под ассоциированной ...
Проверка типа: итеративный тип, который не является строкой
Чтобы объяснить лучше, рассмотрим эту простую функцию проверки типа: from collections import Iterable def typecheck(obj): return not isinstance(obj, str) and isinstance(obj, Iterable)Еслиobj итеративный тип, отличный отstr, это возвращаетTrue, ...
Проверка типа: итеративный тип, который не является строкой
Чтобы объяснить лучше, рассмотрим эту простую функцию проверки типа:
Можно ли принудить проверку данных в MySQL с помощью регулярного выражения
Предположим, у меня есть атрибут, называемый номером телефона, и я хотел бы обеспечить определенную достоверность записей в этом поле. Могу ли я использовать регулярные выражения для этой цели, так как регулярные выражения очень гибки в ...
Можно ли принудить проверку данных в MySQL с помощью регулярного выражения
Предположим, у меня есть атрибут, называемый номером телефона, и я хотел бы обеспечить определенную достоверность записей в этом поле. Могу ли я использовать...
Каково поведение при несовпадении типов между объявлением extern и определением?
Предположим, у меня есть два файла: == File1 == extern char* foo;== File2 == double foo;Эти два файла, похоже, прекрасно компилируются и связываются как с g ++, так и clang ++, несмотря на несоответствие типов. Насколько я ...
Каково поведение при несовпадении типов между объявлением extern и определением?
Предположим, у меня есть два файла:== File1 ==