From 719a77bdcfe51bc3a6ada90641f3ba51f5e0ece8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20S=C3=A1nchez?= <jusanchez@unal.edu.co>
Date: Mon, 13 Nov 2023 19:01:32 -0500
Subject: [PATCH] =?UTF-8?q?Programaci=C3=B3n=20funcional=2020232=20teor?=
 =?UTF-8?q?=C3=ADa=20-=20Parte=202=20(#245)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* aporte lenguajes, aralelismo,ejemplos - Sebastian

* Revert "aporte lenguajes, aralelismo,ejemplos - Sebastian"

This reverts commit d47010b6ab005bdcc74b3edba424dbcb46138bcb.

* Update index.html

Ventaja en pruebas unitarias y aclaración en diferencia fundamental entre el lambda calculus y las máquinas de Turing

* fix typos

---------

Co-authored-by: jsarmientopu <jsarmientopu@unal.edu.co>
---
 progfun/funcional_teoria/index.html | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/progfun/funcional_teoria/index.html b/progfun/funcional_teoria/index.html
index 21bc1208..e0de25aa 100644
--- a/progfun/funcional_teoria/index.html
+++ b/progfun/funcional_teoria/index.html
@@ -264,7 +264,11 @@ <h2 id="history1" class="text-center">Historia</h2>
                             completamente
                             diferente al cálculo lambda: el problema de la parada. Cabe aclarar que los dos modelos
                             computacionales son equivalentes ya que ambos pueden dar solución a los mismos tipos de
-                            problemas.
+                            problemas. Cabe destacar que la solución de Turing se basa en un modelo computacional 
+                            basado en estados, esto dada su definición formal que usa un "estado interno" para representar 
+                            el estado de una ejecución. Por otro lado, Church dio una solución desde el punto de vista de 
+                            como se computan las funciones, donde no tiene sentido un estado interno ni nada que no sea puramente
+                            una función.
                         </p>
                     </div>
                     <div class="col-md-12">
@@ -671,6 +675,16 @@ <h3 class="text-center">Expresividad</h3>
                         <img src="images/Datoalgebraico.PNG" class="img-responsive center-block" alt=""
                             style="max-width: 500px">
 
+                        <h3 class="text-center">Pruebas Unitarias</h3>
+                       <p>
+                            La programación funcional se destaca en las pruebas unitarias gracias a su énfasis en las funciones puras,
+                            las cuales carecen de efectos secundarios y dependencias externas, lo que facilita la creación de pruebas aisladas y predecibles. 
+                            Al ser inmutables y reproducibles, las funciones puras permiten simular diversas entradas sin corromper los datos, 
+                            fomentando así una composición modular y una sustitución sencilla en el proceso de prueba. Esta naturaleza simplifica la 
+                            identificación y corrección de errores, garantizando un desarrollo de software más confiable y eficiente. Es comun usar la programación
+                            funcional en metodologias orientadas a los test como el Test-Driven Development(<a href="https://en.wikipedia.org/wiki/Test-driven_development">TDD</a>).
+                        </p>
+
                         <h3 class="text-center">Seguridad</h3>
                         <p>
                             Inmutabilidad: Característica existente en los lenguajes funcionales en la cual que un objeto
@@ -1164,4 +1178,4 @@ <h3><a href="https://www.coursera.org/learn/scala-parallel-programming">Coursera
     </div>
 </body>
 
-</html>
\ No newline at end of file
+</html>