https://blog.rafaelfernandez.dev/es/tags/pattern-matching/ Recent content in Pattern-Matching on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Tue, 03 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-2-three-ways-to-define-meaning/ Tue, 03 Feb 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/syntax-and-semantics-2-three-ways-to-define-meaning/ Tu expresion match es semantica operacional. Tu funcion pura es semantica denotacional. El borrow checker de Rust es semantica axiomatica. Tres marcos formales, tres formas de asignar significado al codigo, y has estado usando los tres sin saberlo.