static-typing

Veo que estos términos circulan por todas partes en la programación y tengo una vaga noción de lo que significan. Una búsqued ... ar diferencia. Lo que sería bueno es si alguien pudiera por favor explicar esto claramente aquí para mí y el resto del mundo.

También, ¿implica uno el otro?

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

¿Cuándo debo usar una interfaz y cuándo debo usar una clase base? ¿Debería ser siempre una interfaz si no quiero definir ... ks (IMakesNoise?), porque se pueden colocar en una mascota por mascota, pero no entiendo cuál usar para una Mascota genérica.

Solo estoy probando typescript en VisualStudio 2012 y tengo un problema con su sistema de tipos. Mi sitio html tiene una etiq ... problema se puede resolver con typecasts. Mi pregunta es básicamente un duplicado de esta TypeScript: casting HTMLElement

¿Hay alguna sobrecarga cuando lanzamos objetos de un tipo a otro? ¿O el compilador simplemente resuelve todo y no hay costo ... y claro cómo se hacen los tipos en Java. Si usted tiene algún reccommendation en libros o artículo entonces gracias, también.

No hay mucha información en la especificación sobre qué tipo de adscripción es, y ciertamente no hay nada allí sobre el propó ... 1: java.lang.Class[_ <: java.lang.Object] = class java.lang.String scala> p.asInstanceOf[String].length res9: Int = 4

He leído que el sistema de tipos de Scala está debilitado por la interoperabilidad de Java y, por lo tanto, no puede realizar ... tipo, o estoy equivocado en todos los sentidos? ¿Es esta diferencia la razón por la que Scala no tiene clases tipográficas?

Digamos que tengo el siguiente modelo de datos, para realizar un seguimiento de las estadísticas de los jugadores de béisbol, ... así que creo que estoy tratando de entender update-in en el contexto de la programación funcional y Haskell y tipeo estático.

Pregunta sencilla: Hago mucha programación (profesional y personalmente) en lenguajes compilados como C++/Java y en lenguajes ... nguaje interpretado. ¿Por qué la desconexión pronunciada? ¿Forma parte de la naturaleza de las lenguas interpretadas? OOP?

Me pregunto si hay algún lenguaje de scripting con tipado estático e incrustable. Python, JavaScript, etc. son grandes lengua ... . Me pregunto si alguien conoce algún lenguaje de scripting de tipo estático que se pueda incrustar en una aplicación de C++.

Me pregunté si hay un lenguaje de programación que compila a código máquina / binario (no bytecode luego ejecutado por una VM ... e programación? (por Qué) no? Creo que un lenguaje compilado dinámicamente pero fuerte sentiría realmente, pero ¿es posible?

En mi lectura sobre escritura dinámica y estática, sigo encontrándome con la suposición de que los lenguajes tipeados estátic ... os de estas excepciones, sino que tratara de explicar por qué se decidió que estos idiomas deberían funcionar de esta manera.

¿Cómo puedo tener múltiples restricciones de clase, así que si A es un Eq y B es un Num, podría decir f :: Eq a => a -& ... gt; Num b => a -> b, f :: Eq a -> Num b => a -> b, y f :: Eq a, Num b => a -> b No hice lo que quería.