Historial de revisiones de «Final 25/10/2023 (Paradigmas)»

De Cuba-Wiki

Selección de diferencias: marca los botones correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

17 ene 2024

  • actant 14:4014:40 17 ene 2024‎ 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión‎ 1447 bytes +1447‎ Página creada con «Paseó por toda la materia: Primero un map para una estructura de datos falopa, después el tipo del fold para esa misma estructura. Preservación, un caso con fix, función de inferencia en general y subtipado, qué se pierde con subtipado, resolución de primer orden en un paso y un ejemplo con prolog y cuts. - Funcional: Me dio esta estructura data A a b = C1 a | C2 b | C3 a (A a b) y me preguntó cómo sería map para esa estructura (no me salió de una, así q…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_25/10/2023_(Paradigmas)»