71
Incluye - tipos de datos algebraicos - coincidencia de patrones - cierres - inferencia de tipos - abstracciones de costo cero - seguridad de memoria garantizada - concurrencia sin carreras de datos - tiempo de ejecución mínimo - enlaces C eficientes