OCaml

Software captura de pantalla:
OCaml
Detalles de software:
Versión: 4.02.3 Actualizado
Fecha de carga: 1 Oct 15
Promotor: INRIA
Licencia: Libre
Popularidad: 70

Rating: 2.5/5 (Total Votes: 2)

Se trata de una implementación del lenguaje ML, basado en el dialecto Caml Light ampliado con un sistema de objetos completa basada en la clase y un sistema de módulos de gran alcance en el estilo de Standard ML.
Objetivo Caml comprende dos compiladores. Uno genera código de bytes que se interpreta a continuación, por un programa C.
Este compilador se ejecuta rápidamente, es portable a prácticamente cualquier plataforma Unix 32 o 64 bits y genera código compacto con los requisitos de memoria moderados.
Rendimiento de los programas generados es bastante bueno para una aplicación bytecoded.
Este compilador puede ser utilizado ya sea como un independiente, compilador orientado a lotes que produce programas independientes, o como un sistema interactivo, basado en toplevel.
El otro compilador genera código nativo de alto rendimiento para un número
de procesadores.
Compilación lleva más tiempo y genera código más grande, pero los programas generados ofrecer un excelente rendimiento, al tiempo que conserva los requisitos de memoria moderados del compilador de bytecode.
Objetivo Caml es la variante más popular del lenguaje Caml.
Desde un punto de vista del lenguaje, se extiende el núcleo del lenguaje Caml con una capa orientada a objetos de pleno derecho, así como un sistema de módulos de gran alcance, todos conectados por un sonido, sistema de tipo polimórfico que ofrece la inferencia de tipos.
El sistema Caml objetivo es una implementación de potencia industrial de esta lengua, con un código nativo de alto rendimiento del compilador (ocamlopt) durante 9 arquitecturas de procesador (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), así como un compilador de bytecode (ocamlc) y un bucle de lectura-eval-print interactiva (ocaml) para el desarrollo rápido y la portabilidad.
 La distribución Objetivo Caml incluye una biblioteca estándar integral, un depurador de repetición (ocamldebug), lexer (ocamllex) y analizador (ocamlyacc) generadores, un pre-procesador bastante impresora (camlp4) y un generador de documentación (ocamldoc).

¿Qué hay de nuevo en esta versión:

  • Se ha actualizado para Tcl / Tk 8.6.
  • Rechazar múltiples declaraciones del mismo método o variable de instancia de un objeto.
  • Propagar la información de tipo hacia la concordancia de patrones, incluso en presencia de variantes polimórficas.

¿Qué hay de nuevo en la versión 4.02.1:

  • Se ha actualizado para Tcl / Tk 8.6.
  • Rechazar múltiples declaraciones del mismo método o variable de instancia de un objeto.
  • Propagar la información de tipo hacia la concordancia de patrones, incluso en presencia de variantes polimórficas.

¿Qué hay de nuevo en la versión 3.12.1:

  • Brotes fijo:
  • Variables no utilizados no detectado "incluyen (struct .. final)"
  • camlp4 revisada error de impresión de sintaxis en el nivel superior (reportado en caml-lista)
  • configure: no definen _WIN32 bajo cygwin
  • endurecido comparación genérica en el caso en que dos bloques personalizados son comparados y tienen diferentes conjuntos de operaciones personalizadas.
  • endurecido comparación entre bigarrays en el caso en que los dos bigarrays tienen diferentes tipos.
  • Fijo autodetección equivocado de expm1 () y log1p ().
  • No agregue el sufijo .exe al instalar el script de shell ocamlmktop
  • ocamldoc: correcciones menores relacionados con la pantalla de opciones ocamldoc
  • Solución de error con los valores enormes en OCAMLRUNPARAM
  • Desajuste entre declaración y definición de caml_major_collection_slice
  • Feature deseos:
  • Agregado '-ml-sinónimo "y las opciones' -mli-sinónimo 'a ocamldep
  • Agregado '-ocamldoc' para ocamlbuild
  • Añadida la posibilidad de añadir opciones a ocamlbuild
  • Añadido acceso a programas de análisis camlp4 actuales e impresoras
  • Mejora de la selección de instrucciones para las operaciones de flotación en amd64
  • añadida una función 'usage_string' a Arg
  • Permitir a las limitaciones para añadir una ecuación de tipo a una definición de tipo de datos
  • Permite fusionar 'before' etiquetas como otros
  • Permitir la dependencia de archivo "_oasis"
  • Otros cambios:
  • predeterminado Cambiado tamaño de la pila de menor importancia de 32k a 256k palabras.
  • nueva operación Añadido 'compare_ext' a bloques personalizados, llamados al comparar un valor de bloqueo personalizado con un entero sin embalaje.

¿Qué hay de nuevo en la versión 3.12.0:

  • patrones de registro de la forma {lbl = pat; _} Para marcar que no todas las etiquetas se enumeran, a propósito.
  • Las advertencias están ahora numerado y se puede encender y apagar individualmente. El viejo sistema con letras hacen referencia a conjuntos de advertencias aún se admite.
  • Añadida la opción '-strict secuencia' para forzar parte izquierda de la secuencia para tener unidad tipo.
  • Mapa:. implementar funciones de Set que tengan sentido para el Mapa
  • Añadir soporte para dynlink nativo.
  • La semántica de advertencia 7 (código 'M', método sustituto) han cambiado (ahora detecta todos los reemplazos, no sólo definiciones repetidas dentro del mismo cuerpo de la clase), y ahora está inactivo por defecto.

¿Qué hay de nuevo en la versión 3.11.2:

  • Una mejor documentación para min y max w.r.t. NaN
  • ocamlbuild utiliza compilador incorrecto para los archivos de C
  • ocamlbuild no utiliza adecuadamente la información de configuración
  • En algunas instalaciones de Windows, los tiempos altos de puesta en marcha para lib Unix
  • Problema con scanf y CRLF
  • problema ocamlmklib bajo Windows
  • BSD problema direcciones de socket, por ejemplo en Unix.getnameinfo
  • Problema con el análisis de literales float por el ensamblador GNU
  • Problema con módulos y tipos particulares

Requisitos

  • GNU compilador de C - gcc

Programas parecidos

Classify.js
Classify.js

12 May 15

RKelly
RKelly

13 May 15

Poly/ML
Poly/ML

12 May 15

JSON
JSON

12 May 15

Otro software de desarrollador INRIA

Axel
Axel

3 Jan 15

CardioViz3D
CardioViz3D

11 Jul 15

LDPC/LDGM
LDPC/LDGM

2 Jun 15

Comentarios a la OCaml

Comentarios que no se encuentran
Añadir comentario
A su vez en las imágenes!
Búsqueda por categoría