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

Eu ouço muito que novas linguagens de programação são digitadas dinamicamente, mas o que realmente significa quando dizemos que uma linguagem é digitada dinamicamente versus estaticamente?

946 programming-languages  computer-science  static-typing  dynamic-typing 

Quando devo usar uma interface e quando devo usar uma classe base? Deve sempre ser uma interface se eu não quiser realmente definir uma implementação base dos métodos? Se eu tiver uma aula de cachorro e gato. Por que eu iria querer implementar o IPet em vez do PetBase? Eu …

767 oop  interface  language-agnostic  base-class  static-typing 

Além disso, um implica o outro?

438 type-safety  strong-typing  static-typing 

Vejo esses termos espalhados por toda parte na programação e tenho uma vaga noção do que eles significam. Uma pesquisa mostra que essas coisas foram solicitadas em todo o estouro da pilha. Tanto quanto sei, a digitação estática / dinâmica em idiomas é sutilmente diferente da digitação Forte / Fraca, …

319 terminology  strong-typing  static-typing  dynamic-typing  weak-typing 

É possível uma variante completa do Lisp estaticamente tipada? Faz sentido que algo assim exista? Acredito que uma das virtudes de uma linguagem Lisp é a simplicidade de sua definição. A tipagem estática comprometeria este princípio básico?

107 programming-languages  lisp  static-typing 

Existe alguma sobrecarga quando lançamos objetos de um tipo para outro? Ou o compilador simplesmente resolve tudo e não há custo em tempo de execução? São coisas gerais ou há casos diferentes? Por exemplo, suponha que temos um array de Object [], onde cada elemento pode ter um tipo diferente. …

104 java  performance  casting  static-typing 

Estou apenas testando o texto digitado no VisualStudio 2012 e tenho um problema com seu sistema de tipos. Meu site html tem uma tag de tela com o id "mycanvas". Estou tentando desenhar um retângulo nesta tela. Aqui está o código var canvas = document.getElementById("mycanvas"); var ctx: CanvasRenderingContext2D = canvas.getContext("2d"); …

101 html  types  web  typescript  static-typing 

Existe alguma maneira de exigir explicitamente em Julia (por exemplo, dentro de um módulo ou pacote) que tipos devem ser declarados ? Por exemplo, PackageCompilerou Lint.jltem algum suporte para tais verificações? Em termos mais gerais, a própria distribuição padrão Julia fornece algum analisador de código estático ou equivalente que possa …

16 compilation  julia  lint  static-typing  dynamic-typing