4
Relación entre contratos y mecanografía dependiente
He estado leyendo algunos artículos sobre tipos dependientes y contratos de programación. De la mayoría de lo que he leído, parece que los contratos se comprueban dinámicamente y los tipos dependientes se comprueban estáticamente. Ha habido algunos documentos que me han hecho pensar que es posible tener contratos que están …