Perguntas com a marcação «type-systems»

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 para iniciar a operação …

141 type-systems 

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, mas estou me …

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

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 …

66 java  haskell  type-systems  static-typing 

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 gostaria …

57 data-structures  type-systems  data-types 

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 : int …

53 type-systems  static-typing  strong-typing 

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) { o.doSomethingA() } …

53 type-systems 

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 construtor de …

53 type-systems  null 

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 universidade. Durante minha palestra, mencionei …

50 programming-languages  language-design  inheritance  type-systems  virtual-machine 

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 …

49 programming-languages  type-systems 

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 coisa …

47 type-systems  type-safety 

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, …

45 php  type-systems  weak-typing  type-casting 

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 …

44 java  programming-languages  type-systems  data-types 

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 especificado (ou seja, é o meu …

43 functional-programming  haskell  type-systems 

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 confere?

40 type-systems  type-safety  weak-typing 

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 …

37 programming-languages  type-systems