Pirate Dev Radio
Pirate Dev Radio
ElderMael
PirateDevRadio - S01E06 - Abstraccion Precisa
57 minutes Posted Jan 23, 2020 at 4:00 am.
0:00
57:50
Download MP3
Show notes

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”