InglésFrancésCursos de

icono de página de OnWorks

Descarga de OCaml para Linux

Descarga gratis la aplicación OCaml Linux para ejecutar en línea en Ubuntu en línea, Fedora en línea o Debian en línea

Esta es la aplicación de Linux llamada OCaml cuya última versión se puede descargar como OCaml5.1.0.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.

Descargue y ejecute en línea esta aplicación llamada OCaml con OnWorks de forma gratuita.

Siga estas instrucciones para ejecutar esta aplicación:

- 1. Descargue esta aplicación en su PC.

- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 3. Cargue esta aplicación en dicho administrador de archivos.

- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 6. Descarga la aplicación, instálala y ejecútala.

SCREENSHOTS

Ad


OCaml


DESCRIPCIÓN

OCaml es un lenguaje de programación de fuerza industrial de propósito general con énfasis en la expresividad y la seguridad. El poderoso sistema de tipos de OCaml significa que se detectan más errores en tiempo de compilación, y las bases de código grandes y complejas son más fáciles de mantener. Esto lo convierte en un buen lenguaje para ejecutar código crítico. Al mismo tiempo, la inferencia sofisticada hace que el sistema de tipos sea discreto, creando una experiencia fluida para el desarrollador. OCaml tiene dos compiladores. Uno es un compilador de código de bytes que genera pequeños ejecutables portátiles y es muy rápido. El otro es un compilador de código nativo que produce un código de máquina más eficiente; su rendimiento coincide con los estándares más altos de los compiladores modernos. OCaml tiene un gran soporte para los editores más populares. Se recomienda VS Code para principiantes, y para usuarios avanzados hay una integración profunda con Vim y Emacs. OCaml tiene una comunidad rica y dinámica y las mejores herramientas de su clase.



Caracteristicas

  • Editor y herramientas de primera clase
  • Compilador rápido y aplicaciones eficientes
  • Seguridad de tipo discreto
  • Lenguaje de programación de potencia industrial
  • Énfasis en la expresividad y la seguridad.
  • Crea una experiencia de desarrollador fluida


Lenguaje de programación

OCaml (Objetivo Caml)


Categorías

Compiladores, bibliotecas, tiempos de ejecución, lenguajes de programación

Esta es una aplicación que también se puede obtener desde https://sourceforge.net/projects/ocaml.mirror/. Ha sido alojado en OnWorks para poder ejecutarse online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

  • 1
    Compilador pascal gratis
    Compilador pascal gratis
    Un compilador Pascal de 32/64/16 bits para
    Win32/64/CE, Linux, Mac OS X/iOS,
    Android, FreeBSD, OS/2, Gameboy
    Avance, Nintendo NDS y DOS;
    semánticamente compatible con...
    Descargar Compilador Pascal Gratis
  • 2
    Información sobre Canon EOS DIGITAL
    Información sobre Canon EOS DIGITAL
    Canon no tiene contador de obturadores
    incluido en la información EXIF ​​de un
    archivo de imagen, a diferencia de Nikon y
    Pentax. No hay ningún canon oficial basado
    solicitud ...
    Descargar Canon EOS DIGITAL Información
  • 3
    REFIENDO
    REFIENDO
    rEFInd es una bifurcación de la bota rEFIt
    gerente. Como rEFIt, rEFInd puede
    detectar automáticamente su arranque EFI instalado
    cargadores y presenta una bonita GUI
    menú de opción de arranque ...
    Descargar reencontrar
  • 4
    ExpressLuke GSI
    ExpressLuke GSI
    Esta página de descarga de SourceForge fue para
    otorgar a los usuarios descargar mi fuente construida
    GSI, basado en el gran phhusson
    trabaja. Construyo Android Pie y
    Android 1 ...
    Descargar ExpressLuke GSI
  • 5
    Lanzador de música
    Lanzador de música
    Music Caster es un reproductor de música de bandeja
    que te permite transmitir tu música local a un
    Dispositivo Google Cast. En la primera carrera
    tendrá que hacer clic en la flecha en su
    tas ...
    Descargar Music Caster
  • 6
    PyQt
    PyQt
    PyQt son los enlaces de Python para
    Qt multiplataforma de Digia
    marco de desarrollo de aplicaciones. Eso
    admite Python v2 y v3 y Qt v4 y
    Qt v5. PyQt está disponible...
    Descargar PyQt
  • Más "

Comandos de Linux

Ad