Comecei a codificar em Python principalmente onde não há segurança de tipo, depois mudei para C # e Java onde houver. Descobri que poderia trabalhar um pouco mais rapidamente e com menos dores de cabeça em Python, mas, novamente, meus aplicativos C # e Java estão em um nível de complexidade muito...
Eu tenho tentado pensar em uma maneira de declarar typedefs fortemente tipados, para capturar uma certa classe de bugs no estágio de compilação. Geralmente, digito um int em vários tipos de IDs ou um vetor para posição ou velocidade: typedef int EntityID; typedef int ModelID; typedef Vector3...
Em JavaScript: The Good Parts, de Douglas Crockford, ele menciona em seu capítulo de herança, O outro benefício da herança clássica é que ela inclui a especificação de um sistema de tipos. Isso geralmente livra o programador de ter que escrever operações de conversão explícitas, o que é uma...
Isso veio à tona em uma discussão com um amigo e me senti pressionado a pensar em bons argumentos. Quais benefícios a digitação fraca
Por que eles dizem que o XML fornece segurança de tipo e como é expresso no próprio XML? Qual é a diferença do JSON (por exemplo) que (como eu entendo) não é do tipo
Suponha que eu queira escrever uma biblioteca que lide com vetores e matrizes. É possível agrupar as dimensões nos tipos, para que operações de dimensões incompatíveis gerem um erro no tempo de compilação? Por exemplo, eu gostaria que a assinatura do produto escalar fosse algo como dotprod :: Num...
Durante um projeto recente em que estou trabalhando, tive que usar várias funções que se parecem com isso: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double...
esta página http://golang.org/doc/go_faq.html escreve: embora o Go tenha tipos estáticos, o idioma tenta fazer com que os tipos pareçam mais leves do que nos idiomas OO típicos Então, minha pergunta é exatamente: ele é digitado com segurança com genéricos (como C #) ou com pouca digitação...
Eu sou um grande fã de verificação de tipo estático. Impede que você cometa erros estúpidos como este: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Mas isso não impede que você cometa erros estúpidos como este: Adult a...
Se eu usar um un selado traitou abstract classno Scala e depois usar a correspondência de padrões, será que o compilador não sabe em tempo de compilação para essa correspondência de padrão específica que implementações possíveis dessa característica / classe estão disponíveis? Portanto, se isso...
Existe algum trabalho decente sobre a falta de genéricos do PHP que permita que a inspeção de código estático detecte a consistência do tipo? Eu tenho uma classe abstrata, que quero subclassificar e também impor que um dos métodos mude de um parâmetro de um tipo para um parâmetro que é uma...
Vamos considerar este código C: #include <stdio.h> main() { int x=5; printf("x is "); printf("%d",5); } Nisso, quando escrevemos int x=5;, dissemos ao computador que xé um número inteiro. O computador deve se lembrar que xé um número inteiro. Mas quando produzimos o valor de xin...