Leí en esta pregunta que los programadores funcionales tienden a usar pruebas matemáticas para asegurarse de que su programa funciona correctamente. Esto suena mucho más fácil y rápido que las pruebas unitarias, pero viniendo de un fondo de OOP / Pruebas unitarias, nunca lo he visto hecho. ¿Me lo...