Programación funcional 20232 teoría - Parte 2 (#245)

* aporte lenguajes, aralelismo,ejemplos - Sebastian * Revert "aporte lenguajes, aralelismo,ejemplos - Sebastian" This reverts commit d47010b. * 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 <[email protected]>
ferestrepoca · Nov 14, 2023 · 719a77b · 719a77b
1 parent 4fdfbee
commit 719a77b
Showing 1 changed file with 16 additions and 2 deletions.
diff --git 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>
+</html>