No puedes hacer que las modificaciones de documentos sean más convenientes que editar tus archivos AFP en la web. Con DocHub, puedes acceder a herramientas para editar documentos en PDF rellenables, AFP u otros formatos: resaltar, ocultar o borrar fragmentos de documentos. Incluye texto e imágenes donde los necesites, reescribe tu copia completamente y más. Puedes descargar tu archivo editado a tu dispositivo o enviarlo por correo electrónico o enlace directo. También puedes convertir tus documentos en formularios rellenables e invitar a otros a completarlos. DocHub incluso proporciona una eFirma que te permite firmar y enviar documentos para su firma con solo un par de clics.
Tus registros se mantienen de forma segura en nuestra nube de DocHub, por lo que puedes acceder a ellos en cualquier momento desde tu computadora de escritorio, laptop, smartphone o tableta. Si prefieres utilizar tu dispositivo móvil para editar archivos, puedes hacerlo fácilmente con la aplicación de DocHub para iOS o Android.
así que la última vez vimos cómo la inducción puede ser utilizada no solo como una técnica de prueba sino también como una técnica para construir programas y lo ilustramos mediante un ejemplo. Vimos cómo la idea de la llamada inducción constructiva podría ser utilizada para obtener una versión rápida de la función estándar que invierte una lista. Así que lo que vamos a hacer hoy es que vamos a comenzar con una rápida revisión de lo que hicimos la última vez y luego vamos a hacer dos cosas. Primero, vamos a hacer un segundo ejemplo de inducción constructiva. Veremos cómo puede ser utilizada para obtener una versión rápida de una función que aplana un árbol y luego, en segundo lugar, vamos a ver el estudio de caso final que vamos a tener en el curso, que es un resultado de corrección de compiladores. Así que aquí hay un resumen rápido de lo que logramos en la última conferencia. Lo que tenemos en la caja roja superior es la recursiva estándar.