Perguntas com a marcação «static-typing»

Esta alegação de Aleks Bromfield afirma: Quase todos os idiomas com um sistema de tipos estáticos também possuem um sistema de tipos dinâmicos. Além de C, não consigo pensar em uma exceção Esta é uma reivindicação válida? Entendo que, com as classes Reflection ou Loading em tempo de execução, o …

20 languages  dynamic-typing  static-typing 

Os proponentes das linguagens de programação funcional afirmam que a programação funcional facilita o raciocínio sobre o código. Aqueles que são a favor de linguagens de tipo estaticamente dizem que seus compiladores detectam erros suficientes para compensar a complexidade adicional dos sistemas de tipos. Mas tudo o que li sobre …

19 functional-programming  comparison  dynamic-typing  static-typing  imperative-languages 

A digitação estática em uma linguagem de programação pode ser útil para impor certas garantias no momento da compilação - mas os tipos são a única ferramenta para este trabalho? Existem outras maneiras de especificar invariantes? Por exemplo, um idioma ou ambiente pode ajudar a impor uma garantia com relação …

18 programming-languages  static-typing  static-analysis 

Acabei de assistir essa palestra de Daniel Spiewak, onde ele fala sobre as vantagens da tipagem estrutural em comparação com a tipagem nominal de Scala e Java . Um exemplo para essa diferença seria o seguinte código Java public interface Foo { public int length(); } public interface Bar { …

15 java  scala  type-systems  static-typing 

Optionalé útil de uma maneira óbvia em uma linguagem de tipo estaticamente, mas estou me perguntando se também é útil em linguagens dinâmicas. Normalmente, não há compilador dizendo "ei, você usou isso Optional<String>como String", então você ainda precisa descobrir seus erros em tempo de execução. Eu tenho um plano de …

14 dynamic-typing  static-typing 

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

13 business-logic  static-typing  type-safety 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 5 anos . Esta declaração sugere que idiomas de tipo estaticamente não …

13 web-development  dynamic-typing  static-typing 

Pelo que li, o desenvolvimento ágil geralmente envolve refatoração ou código de engenharia reversa em diagramas. É claro que há muito mais do que isso, mas se considerarmos as práticas que dependem desses dois métodos, as linguagens de tipo dinâmico estão em desvantagem? Parece que linguagens com estática tornariam a …

12 agile  dynamic-typing  static-typing 

Enquanto estava curioso na página principal do site de uma linguagem de programação de script, encontrei esta passagem: Quando um sistema fica grande demais para ficar na sua cabeça, você pode adicionar tipos estáticos. Isso me fez lembrar que em muitas guerras religiosas entre linguagens estáticas compiladas (como Java) e …

9 programming-languages  dynamic-typing  static-typing 

Sim, perguntas semelhantes foram feitas, mas sempre com o objetivo de descobrir 'qual é o melhor'. Estou perguntando porque eu vim como desenvolvedor principalmente em JavaScript e realmente não tenho nenhuma experiência extensa em escrever em linguagens estaticamente tipadas. Apesar disso, eu definitivamente vejo valor no aprendizado de C para …

9 dynamic-typing  static-typing 

A preferência pela tipagem dinâmica e estática é em grande parte uma questão de gosto, e pessoas diferentes as acham mais ou menos adequadas em diferentes situações. A minha pergunta é: seria tecnicamente possível ter uma alternativa de tipo estatístico ao JavaScript para aumentar a página da Web do lado …

9 javascript  scripting  dynamic-typing  static-typing  jit 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 6 anos . Ao elaborar o design de um novo sistema, é …

8 dynamic-typing  prototyping  static-typing