um sistema de tipos é uma coleção de regras que atribuem uma propriedade chamada tipo às várias construções - como variáveis, expressões, funções ou módulos - das quais um programa de computador é composto.
Recentemente, tive um problema com a legibilidade do meu código. Eu tinha uma função que fazia uma operação e retornava uma string representando o ID dessa operação para referência futura (um pouco como o OpenFile no Windows retornando um identificador). O usuário usaria esse ID posteriormente...
Existem estudos feitos sobre a eficácia de linguagens estaticamente versus dinâmicas? Em particular: Medições da produtividade do programador Taxa de defeito Incluindo também os efeitos de se ou não o teste de unidade é empregado. Eu já vi muita discussão sobre os méritos de ambos os lados,...
Sei que algumas coisas são mais fáceis / difíceis em um idioma que no outro, mas estou interessado apenas em recursos relacionados ao tipo que são possíveis em um e impossíveis / irrelevantes no outro. Para torná-lo mais específico, vamos ignorar as extensões do tipo Haskell, já que existem muitas...
Considere isso uma pergunta "acadêmica". Eu estive pensando sobre como evitar NULLs de tempos em tempos e este é um exemplo em que não consigo encontrar uma solução satisfatória. Vamos supor que eu armazene medições onde, às vezes, é sabido que a medição é impossível (ou está ausente). Eu...
Eric Lippert fez um ponto muito interessante em sua discussão sobre por que o C # usa um nulle não um Maybe<T>tipo : A consistência do sistema de tipos é importante; podemos sempre saber que uma referência não anulável nunca é, sob nenhuma circunstância, considerada inválida? E o...
Por que isso está correto e principalmente esperado: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... enquanto isso não está bom e ninguém reclama: concrete type Name : string { } concrete type Index :...
Supondo uma linguagem com alguma segurança de tipo inerente (por exemplo, não JavaScript): Dado um método que aceita a SuperType, sabemos que, na maioria dos casos, podemos ser tentados a executar testes de tipo para escolher uma ação: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA)...
fundo Estou projetando uma linguagem, como um projeto paralelo. Eu tenho um montador de trabalho, um analisador estático e uma máquina virtual para isso. Como já posso compilar e executar programas não triviais usando a infraestrutura que construí, pensei em fazer uma apresentação na minha...
Um tipo inferior é um construto que aparece principalmente na teoria matemática dos tipos. Também é chamado de tipo vazio. É um tipo que não tem valores, mas é um subtipo de todos os tipos. Se o tipo de retorno de uma função é o tipo inferior, isso significa que ele não retorna. Período. Talvez...
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...
PHP, como a maioria de nós sabe, tem digitação fraca . Para quem não sabe, o PHP.net diz: O PHP não requer (ou suporta) definição explícita de tipo na declaração de variável; o tipo de uma variável é determinado pelo contexto em que a variável é usada. Ame ou odeie, o PHP relança variáveis...
Sempre me perguntei por que o Java não faz inferência de tipo, uma vez que a linguagem é o que é e sua VM é muito madura. O Google's Go é um exemplo de idioma com excelente inferência de tipo e reduz a quantidade de digitação necessária. Existe alguma razão especial por trás desse recurso não fazer...
Quais são algumas técnicas que eu poderia usar para refatorar consistentemente o código, removendo a dependência de tipos existenciais? Normalmente, eles são usados para desqualificar construções indesejadas do seu tipo, bem como para permitir o consumo com um mínimo de conhecimento sobre o tipo...
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
Eu leio código com mais freqüência do que escrevo código e estou assumindo que a maioria dos programadores que trabalham em software industrial faz isso. A vantagem da inferência de tipo que assumo é menos verbosidade e menos código escrito. Mas, por outro lado, se você ler código com mais...
Eu li alguns artigos na Internet sobre a escolha da linguagem de programação na empresa. Recentemente, muitas linguagens dinâmicas digitadas foram populares, como Ruby, Python, PHP e Erlang. Mas muitas empresas ainda permanecem com linguagens estáticas, como C, C ++, C # e Java. E sim, um dos...
Eu tenho esses dois pequenos programas: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else {
Estou estudando Haskell com o objetivo de entender a programação funcional, com a expectativa de aplicar a percepção que obtiver em outras linguagens (principalmente Groovy, Python, JavaScript). Escolhi Haskell porque tive a impressão de que é muito puramente funcional e não permitiria nenhuma...
Eu li uma pergunta relacionada. Existem padrões de design desnecessários em linguagens dinâmicas como Python? e lembrei-me desta citação no Wikiquote.org O maravilhoso da digitação dinâmica é que ela permite expressar qualquer coisa que seja computável. E sistemas de tipos sistemas de tipos não...
A introdução da nova notação lambda (consulte, por exemplo, este artigo ) no Java 8 exigirá algum tipo de inferência de tipo? Se sim, como o novo sistema de tipos afetará a linguagem Java como um