Tema

Programación funcional

1 texto sobre este tema. Todos los temas

Ensayo La guía de Fede sobre sistemas de tipos: de generics a tipos dependientes Una guía práctica de sistemas de tipos, desde los generics de todos los días hasta los tipos dependientes que prueban corrección, con ejemplos en Rust, Scala e Idris 1 ene 2026 · 72 min