Preguntas etiquetadas con theory

224
¿Cuál es el punto de las interfaces en PHP?

Las interfaces le permiten crear código que define los métodos de las clases que lo implementan. Sin embargo, no puede agregar ningún código a esos métodos. Las clases abstractas le permiten hacer lo mismo, junto con agregar código al método. Ahora, si puedes lograr el mismo objetivo con clases...

185
¿De qué sirven los esquemas de SQL Server?

No soy principiante en el uso de bases de datos SQL, y en particular SQL Server. Sin embargo, he sido principalmente un chico de SQL 2000 y siempre me han confundido los esquemas en 2005+. Sí, conozco la definición básica de un esquema, pero ¿para qué se usan realmente en una implementación típica...

165
Diferencias entre Agda e Idris

Estoy empezando a sumergirme en la programación de tipo dependiente y descubrí que los idiomas Agda e Idris son los más cercanos a Haskell, así que comencé allí. Mi pregunta es: ¿cuáles son las principales diferencias entre ellos? ¿Los sistemas de tipos son igualmente expresivos en ambos? Sería...

131
HashMap obtener / poner complejidad

Estamos acostumbrados a decir que las HashMap get/putoperaciones son O (1). Sin embargo, depende de la implementación de hash. El hash de objeto predeterminado es en realidad la dirección interna en el montón JVM. ¿Estamos seguros de que es lo suficientemente bueno para afirmar que get/putson O...