Preguntas etiquetadas con static-typing

Escucho mucho que los nuevos lenguajes de programación se escriben dinámicamente, pero ¿qué significa en realidad cuando decimos que un lenguaje se escribe dinámicamente frente a estáticamente?

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

¿Cuándo debo usar una interfaz y cuándo debo usar una clase base? ¿Debería ser siempre una interfaz si no quiero definir realmente una implementación base de los métodos? Si tengo una clase de perros y gatos. ¿Por qué querría implementar IPet en lugar de PetBase? Puedo entender tener interfaces para …

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

Además, ¿implica uno el otro?

441 type-safety  strong-typing  static-typing 

Veo estos términos en todo el lugar en la programación y tengo una vaga noción de lo que significan. Una búsqueda me muestra que tales cosas se han preguntado en todo el desbordamiento de pila, de hecho. Por lo que sé, la escritura estática / dinámica en los idiomas es …

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

¿Es posible una variante Lisp completa de tipo estático? ¿Tiene sentido que exista algo como esto? Creo que una de las virtudes de un lenguaje Lisp es la simplicidad de su definición. ¿La escritura estática comprometería este principio fundamental?

107 programming-languages  lisp  static-typing 

¿Hay alguna sobrecarga cuando proyectamos objetos de un tipo a otro? ¿O el compilador simplemente resuelve todo y no hay ningún costo en tiempo de ejecución? ¿Es esto algo general o hay casos diferentes? Por ejemplo, supongamos que tenemos una matriz de Object [], donde cada elemento puede tener un …

104 java  performance  casting  static-typing 

Solo estoy probando mecanografiado en VisualStudio 2012 y tengo un problema con su sistema de tipos. Mi sitio html tiene una etiqueta de lienzo con la identificación "mycanvas". Estoy tratando de dibujar un rectángulo en este lienzo. Aqui esta el codigo var canvas = document.getElementById("mycanvas"); var ctx: CanvasRenderingContext2D = canvas.getContext("2d"); …

101 html  types  web  typescript  static-typing 

¿Hay alguna forma de exigir explícitamente en Julia (por ejemplo, dentro de un módulo o paquete) que los tipos deben declararse ? ¿Por ejemplo, PackageCompilero Lint.jltiene algún soporte para tales controles? En términos más generales, ¿la distribución estándar de Julia proporciona algún analizador de código estático o equivalente que pueda …

16 compilation  julia  lint  static-typing  dynamic-typing