El principio de sustitución de Liskov establece que las precondiciones, postcondiciones, invariantes y otras formalidades que se cumplen para una clase también se deben cumplir para sus clases derivadas. De este modo, las referencias a un tipo se pueden hacer respecto de la clase base, sin que otros módulos del...

¿Es realmente necesario poner la anotación Override en el lenguaje de programación Java cuando extendemos un método o cuando implementamos una interfaz?

Otro vídeo introductorio destinado a explicar a personas que tengan experiencia con programación imperativa pero no con programación funcional las diferencias entre ambos paradigmas y qué debemos hacer para adaptar nuestra mente a un paradigma de programación distinto. 00:00 Introducción 01:13 ¿Cómo se estructura un programa imperativo? 03:37 ¿Cómo se...

Es posible obtener ResultSets de JDBC que permitan no solamente avanzar hacia adelante, sino también retroceder al registro anterior, algo que puede ser de utilidad en algunas situaciones.

En este capítulo os presento TypeScript, os cuento qué es, cómo funciona, y por qué ha revolucionado la forma en la que miles de equipos de trabajo de todas partes del mundo han cambiado y mejorado la forma en la que programan.

Cómo obtener información sobre un remoto con fetch, y cómo los remotos no son más que ramas que se pueden fusionar. Además, qué ventajas aporta un pull-rebase frente a un pull-merge normal.

gcc y clang aceptan una serie de parámetros que pueden darse desde una línea de comandos en una terminal para obtener resultados más precisos de cara a compilar manualmente un archivo o a manipular la cadena de compilación. En este episodio os cuento los distintos parámetros que podemos aplicar para...

Volatile es una palabra clave usada para pedirle al compilador que desactive las optimizaciones en una variable, incluso cuando estas estén activas. Sus principales usos son para impedir que el compilador elimine asignaciones "innecesarias" sobre variables, o accesos repetidos a una variable. ¿En qué circunstancias esto es importante? Cuando la...

Ahora que hemos visto en qué consisten las templates de HTML5, podemos ver cómo integrar una template y extraer su contenido, para incorporarla en un Custom Element.

Este arco del curso de Go se centra en el uso práctico del paquete encoding/json para convertir entre variables, estructuras y datos de Go y valores, objetos y arrays JSON.