Perguntas sobre 'type-systems'

10
respostas

Devemos definir tipos para tudo?

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 OpenFile no Windows retornando um handle)...
03.05.2015 / 18:30
4
respostas

O sistema de tipos de Haskell é formalmente equivalente ao do Java? [fechadas]

Eu percebo que algumas coisas são mais fáceis / difíceis em um idioma do que em 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, va...
08.10.2012 / 17:50
10
respostas

Por que as linguagens OOP estáticas strongs mainstream impedem a herança de primitivas?

Por que isso é OK e principalmente esperado: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... enquanto isso não está certo e ninguém reclama: con...
10.08.2016 / 11:37
8
respostas

Quais são os benefícios de segurança de um sistema de tipos?

Em JavaScript: The Good Parts por Douglas Crockford, ele menciona em seu capítulo de herança, The other benefit of classical inheritance is that it includes the specification of a system of types. This mostly frees the programmer from hav...
24.10.2013 / 19:31
7
respostas

Digite variáveis de conversão em PHP, qual é a razão prática para fazer isso?

O PHP, como a maioria de nós sabe, tem digitação fraca . Para aqueles que não o fazem, o PHP.net diz: PHP does not require (or support) explicit type definition in variable declaration; a variable's type is determined by the context in whi...
07.12.2010 / 14:44
5
respostas

Por que Java não faz inferência de tipos?

Sempre me perguntei por que Java não faz inferência de tipos, já que a linguagem é o que é, e sua VM é muito madura. O Go do Google é um exemplo de uma linguagem com excelente inferência de tipos e reduz a quantidade de digitação que uma pessoa p...
19.01.2013 / 00:36
2
respostas

Por que (ou porque não) os tipos existenciais são considerados uma prática ruim na programação funcional?

Quais são algumas técnicas que eu posso usar para refatorar de forma consistente 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...
26.01.2013 / 23:35
7
respostas

Existe algum motivo para ter um tipo bottom numa linguagem de programação?

Um tipo bottom é uma construção que aparece principalmente na teoria matemática de tipos. Também é chamado o 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 for o tipo inferior...
24.03.2015 / 01:15
4
respostas

Que argumentos existem em favor da tipificação fraca?

Isso surgiu em uma discussão com um amigo, e eu encontrei-me muito pressionado para pensar em um bom argumento. Que benefícios a tipagem fraca confere?     
19.01.2011 / 05:55
9
respostas

As linguagens digitadas dinâmicas merecem todas as críticas? [fechadas]

Eu li alguns artigos na Internet sobre a escolha de linguagem de programação na empresa. Recentemente muitas linguagens tipificadas dinâmicas são populares, como Ruby, Python, PHP e Erlang. Mas muitas empresas ainda permanecem com linguagens tip...
01.09.2010 / 21:46