Resultados da pesquisa a pedido "typechecking"
Condição de cobertura liberal introduzida no GHC 7.7 quebra código válido no GHC 7.6
A ideia Estou escrevendo umDSL [http://en.wikipedia.org/wiki/Domain-specific_language], que é compilado para Haskell. Os usuários dessa linguagem podem definir estruturas de dados imutáveis próprias e funções associadas. Por função associada, ...
Verifique se uma variável é uma string em Ruby
Existe algo mais idiomático do que o seguint foo.class == String
Macros Scala: Qual é a diferença entre árvores digitadas (também conhecidas como datilografadas) e não tipadas
Estou começando com as macros scala, elas são incríveis, mas estou enfrentando a diferença entre digitado (também conhecido como digitado) e não digitadoTrees. Por exemplo, você não pode ligarc.eval por uma árvore com verificação de tipo por ...
Uso dos protocolos C objetivos
Eu tenho uma pergunta de lição de casa que me confundiu muito. Abaixo está uma breve explicação de uma pergunt Imagine você está desenvolvendo um aplicativo que armazena informações de contato. O catálogo de endereços pode conter muitos tipos ...
O "recurso esperado do tipo" do Android Studio verifica?
O Android Studio Beta (0.8) possui um novo recurso interessante, que verifica se algunsint parâmetros não são números inteiros arbitrários, mas possuem algumas propriedades. Por exemplo, chamando algo ...
É possível impor a verificação de dados no MySQL usando expressão regular
Suponha que eu tenha um atributo chamado número de telefone e gostaria de impor certa validade nas entradas para esse campo. Posso usar expressões regulares ...
Existe uma boa maneira de forçar a incompatibilidade de tipos em C?
Para fins de verificação de tipo, eu gostaria de definir uma função nas linhas de void myfunc(type1 a, type2 b) { ... }Ondetype1 etype2 ambos são digitados comouint8_t. Até agora tudo bem, mas para fins de sanidade e verificação (pense em DbC), ...
Por que não podemos converter para tipos de protocolo com tipos associados, mas obter o mesmo efeito usando genéricos?
Considere este código: extension Collection { func foo() -> Int { if self.first is Collection { return (self.first as! Collection).underestimatedCount // ERROR } else { return self.underestimatedCount } } }Temos o temido e aparentemente ...
Qual é a melhor maneira (idiomática) de verificar o tipo de uma variável Python? [duplicado]
Esta pergunta já tem uma resposta aqui: Quais são as diferenças entre type () e isinstance ()? [/questions/1549801/what-are-the-differences-between-type-and-isinstance] 6 respostasEu preciso saber se uma variável em Python é uma string ou um ...