static-typing

13El calor

2Respuesta

¿Qué significa "sin inferencia de tipo global" con respecto a Scala?

He leído que la inferencia de tipos de Scala no es global, por eso las personas deben colocar anotaciones de tipo en los métodos. (¿Sería esto una inferencia tipo "local"?) Solo un poco entiendo que l

scala type-inference static-typing 2010-11-29

---

9El calor

3Respuesta

¿Cansado de las pruebas no semánticas para compensar el tipado dinámico? ¿Sugerencias?

Solía ​​hacer una gran cantidad de programación web en Rails (PHP antes de eso) antes de comenzar a estudiar ingeniería informática. Desde entonces, he hecho un montón de trabajo escolar en C, y algun

c# java ruby-on-rails scala static-typing 2010-12-07

---

17El calor

7Respuesta

¿Cómo afecta la capacidad de tipeo estático de Python la capacidad de mantenimiento y la extensibilidad en proyectos más grandes?

Después de leer this very informative (albeit somewhat argumentative) question Me gustaría conocer su experiencia en la programación de grandes proyectos con Python. ¿Las cosas se vuelven inmanejables

java python project-management static-typing 2010-09-08

---

13El calor

2Respuesta

¿Qué está escrito estáticamente en RPython?

A menudo se afirma que RPython (un subconjunto de Python) está tipado estáticamente. (Por ejemplo, Wikipedia.) Inicialmente, me pregunté cómo agregarían eso a Python y pensaron que podrían haber agreg

python static-typing pypy rpython 2011-08-23

---

53El calor

6Respuesta

Desventajas del sistema de tipo Scala versus Haskell?

He leído que el sistema de tipos de Scala se ve debilitado por la interoperabilidad de Java y, por lo tanto, no puede realizar algunos de los mismos poderes que el sistema de tipos de Haskell. ¿Es est

scala haskell type-systems static-typing language-comparisons 2010-09-11

---

25El calor

1Respuesta

tipos de Haskell de la firma con varias restricciones de clase

¿Cómo puedo tener múltiples restricciones de clase, por lo que si A es un Eq y B es una Num, que podría decir, ya sea f :: Eq a => a -> b` o f :: Num b => a -> b Así ¿Cómo puedo tener Eq a => y Nu

haskell types static-typing type-signature 2012-06-19

---

6El calor

1Respuesta

¿Por qué foreach omite la verificación del tipo de tiempo de compilación en los tipos de interfaz?

Cuando uso un ciclo foreach en C#, parece que no se realiza ninguna verificación de tipo de tiempo de compilación si el tipo de elemento es un tipo de interfaz. E.g. class SomeClass {} interface Some

c# visual-studio-2008 foreach static-typing 2010-08-02

---

13El calor

2Respuesta

¿El estilo de Java Groovy es tan rápido como Java?

Si entiendo correctamente, Groovy está tipeado dinámicamente, pero dado que es casi un superconjunto de Java, opcionalmente se puede proporcionar información de tipo estático. Esto podría ser útil si

java performance groovy static-typing groovy++ 2011-09-05

---

12El calor

5Respuesta

¿Qué impide que un lenguaje estáticamente tipeado tenga algo así como el método de Ruby?

No tengo mucha experiencia con lenguajes tipados estáticos (actualmente estoy aprendiendo Scala y ¡me encanta!) Pero una cosa que noté es que nunca parecen tener algo como el método_ de Ruby o el méto

ruby scala coldfusion static-typing method-missing 2010-09-24

---

16El calor

1Respuesta

Comparación de Scala (último 2.10) versus Groovy ++ (último 0.9.1?)

Acabo de ver un video of the Groovy inventor, James Strachan, en el que sigue apasionadamente amando a Scala. Eso me llevó a querer saber más sobre Groovy, lo que me llevó a Groovy ++. Groovy++ es una

scala jvm static-typing groovy++ 2012-07-04

---