¿Cómo ML realiza la inferencia de tipos en la siguiente definición de función: let add a b = a + b
¿Es como las plantillas de C++ donde ningún tipo de comprobación se realiza hasta el punto de insta
Empecé a aprender Standard ML recientemente por curiosidad. Entonces, lo que sé es que tiene un compilador eficiente (MLton) que nos permite usar abstracciones libremente sin preocuparnos por el rendi
Existe todo el nuevo paradigma de "programación funcional", que necesita un cambio total de patrones de pensamiento en comparación con la programación de procedimientos. Utiliza funciones de orden sup