Nuestro sexto episodio. Gracias por escucharnos!
Topicos
Estoy Escribiendo Un Libro
Los Systemas De Tipos Dinamicos No Son Inherentemente Mas Abiertos
Goodbye, Clean Code
Links De Nuestro Podcast
Redes Sociales
Errata - Episodio 05
- Prueba formal no hace que tengas errores no representables sino que ciertas propiedades siempre esten presentes en cualquier espacio de estados
- Correctness se traduce como “Exactitud”