DICCIONARIO DE INFORMÁTICA Y TECNOLOGÍA
  ¿Qué significa ML? - Información sobre ML

Definición de ML (lenguaje de programación)

Leandro Alegsa (Contacto) 2010-12-12

Envíanos un mensaje


Enviar
Anuncios

ML es un lenguaje de programación funcional (impuro) de propósito general, desarrollado por Robin Milner y otros, a principios de los 70 en la Universidad de Edimburgo. Su sintaxis se inspira en el ISWIM.

ML son las siglas de Meta Lenguaje, pues su objetivo inicial fue servir como lenguaje para desarrollar tácticas de pruebas en el sistema demostrador de teoremas LCF.

Es conocido por el uso del algoritmo de inferencia del tipo Hindley–Milner, que puede automáticamente inferir los tipos de la mayoría de las expresiones sin necesidad de que explícitamente se especifiquen los tipos de datos.





¿Mejoramos la definición?
Puntos: 1 (1 votos)






Respondemos tus consultas o comentarios a continuación:


¿Dudas? ¿necesita más información? Escriba y responderemos a tu email: clic aquí



 




  Diccionario de informática
  Búsqueda por letras:

A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z - 0,9
 
Búsqueda por categorías
:

Almacenamiento - Aplicaciones - Audio - Compresión - Desarrollo web - Discos ópticos - Inteligencia Artificial - Memorias - Microprocesadores - Seguridad informática - Sistemas de archivos - Terminología de programación - UNIX - Windows - ver categorías

 
Búsqueda por palabras:






Preguntas

No hay ningún comentario todavía

Todos los derechos reservados © 1998 - 2017 - ALEGSA - Santa Fe, Argentina.
Políticas del sitio web - Contacto - Publicidad