coldwa.st
Todas las guíasProgramaciónWebDatosHerramientasBases de datosHaskellConceptosCabal y buildsToolchainCompiladorRendimientoEditor y HLS
Colorful source code on a monitor

Coldwast escribió

¿Qué es SQL? El lenguaje de las bases de datos (2026)

Jun 14, 2026 en Programming, Data, Databases — SQL es el lenguaje estándar para almacenar, consultar y modificar datos en bases de datos relacionales. Los comandos clave (SELECT, INSERT, UPDATE, DELETE), cómo funciona una consulta, SQL vs NoSQL, y por qué sigue siendo esencial en 2026.

Leer más…
📅 7 min read↻ Actualizado 2026

Coldwast escribió

¿Qué es Git? El control de versiones explicado (2026)

Jun 14, 2026 en Programming, Tools, Workflow — Git es un sistema de control de versiones distribuido que registra cada cambio de tu código para ramificar, fusionar, colaborar y deshacer. Los conceptos clave (commit, rama, merge, remote), el flujo diario, y su diferencia con GitHub.

Leer más…
📅 7 min read↬ Actualizado 2026

Coldwast escribió

¿Qué es un algoritmo? Una introducción clara (2026)

Jun 14, 2026 en Programming, Concepts — Un algoritmo es un procedimiento finito, paso a paso, que convierte una entrada en una salida. Sus propiedades clave, ejemplos cotidianos y en código, por qué importa la eficiencia (Big-O), y su diferencia con un programa.

Leer más…
📅 7 min read↬ Actualizado 2026

Coldwast escribió

¿Qué es JSON? El formato de datos de las apps modernas (2026)

Jun 14, 2026 en Programming, Web, Data — JSON es un formato de texto ligero y legible para datos estructurados — el idioma que hablan la mayoría de las API web y archivos de configuración. Su sintaxis, por qué está en todas partes, su comparación con XML y sus límites honestos.

Leer más…
📅 6 min read↬ Actualizado 2026

Coldwast escribió

¿Qué es una API? Una introducción clara (2026)

Jun 14, 2026 en Programming, Web, Concepts — Una API es un contrato que permite a un software comunicarse con otro. Los tipos principales (web/REST, biblioteca, SO), cómo funcionan una petición y una respuesta web, y por qué las API están en todas partes.

Leer más…
📅 7 min read↬ Actualizado 2026

Coldwast escribió

¿Qué es Haskell? Una introducción clara (2026)

Jun 14, 2026 en Haskell, Concepts — Haskell es un lenguaje puramente funcional, de tipado estático y perezoso, con potente inferencia de tipos. Las ideas que lo definen — pureza, inmutabilidad, pereza, tipos fuertes — para qué sirve y cómo empezar.

Leer más…
📅 7 min read↬ Actualizado 2026

Coldwast escribió

La evaluación perezosa en Haskell, explicada (2026)

Jun 14, 2026 en Haskell, Concepts — Haskell calcula un valor solo cuando realmente se necesita. Qué es la evaluación perezosa, los thunks, las estructuras infinitas, la trampa de las fugas de memoria, y forzar la evaluación estricta con seq y BangPatterns.

Leer más…
📅 8 min read↬ Actualizado 2026

Empezar

Instalar el toolchain

GHC, Cabal, Stack y HLS en una instalación limpia con GHCup.

Leer la guía →

Build

Entender los builds de Cabal

Sandboxes, builds v2 estilo nix y qué cambió realmente.

Leer la guía →

Rendimiento

Builds de Haskell más rápidos

Usa todos tus núcleos de forma segura con -j y los semáforos de build.

Leer la guía →