Un vistazo a Ocaml

 

En este pos veremos cómo instalar Ocaml. Usaremos instrucciones para Debian/Ubuntu.

Instrucciones para instalar (con y sin soporte):

$ sudo apt-get update

# Esto si no quieres soporte
$ sudo apt install ocaml-nox 

# Esto siquieres soporte
$ sudo apt install ocaml

Para comprobar la instalación:

$ ocaml

# 12 + 54 ;;
# "Hola, mundo";;
# exit 0 ;;

Tenemos Ocaml instalado en nuestro sistema.  

¿Pero que diantres es Ocaml?

El sitio oficial dice:

OCaml es un lenguaje de programación de nivel industrial que admite estilos funcionales, imperativos y orientados a objetos.

A su vez la Wikipedia también nos puede dar más información:

El lenguaje Objective CAML, también llamado Ocaml u O'Caml, el nombre proviene de las siglas en inglés Objective Categorical Abstract Machine Language. Es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. 

Ocaml admite los paradigmas de programación imperativa, programación funcional y programación orientada a objetos. Ocaml nace de la evolución del lenguaje CAML, abreviación de Categorical Abstract Machine Language, al integrársele la programación con objetos. 

 El código fuente en Ocaml se compila en código para una máquina virtual o en código de máquina para diferentes arquitecturas. Este último compilador produce código comparable en eficiencia al producido por compiladores como el del lenguaje C/C++. 

Ocaml dispone de un análisis de tipos estático con inferencia de tipos, con valores funcionales de primera clase, polimorfismo parametrizado, llamada por patrones, manejo de excepciones, recolección de basura y otras características avanzadas.

Ahora escribiremos el clásico programa de "Hola, Mundo" en este lenguaje. La extensión de un programa en Ocaml es *.ml

holamundo.ml

(* holamundo.ml *)
print_string "Hola, mundo en Ocaml!\n"

Ejecución de script:

$ ocaml holamundo.ml

Hola, mundo en Ocaml!

Ocaml, al contrario de lenguajes como Python, posee tipos como int, float, char, string y bool. Estos no se declaran directamente, pero se infieren.

Tipos en Ocaml

let entero=32;;
let caracter='c';;
let flotante=32.7;;
let nombre="El señor X";;
let verdadero=true;;

Para imprimir en pantalla:
%d --> int
%c --> char
%f --> float
%s --> string
%b --> bool

Entramos al shell de Ocaml:

$ ocaml
        OCaml version 4.05.0

# "Esta es una cadena";;
- : string = "Esta es una cadena"
# 23 + 45;;
- : int = 68
# 34.6 +. 3.21;;
- : float = 37.81
# not true;;
- : bool = false
# true && true ;;
- : bool = true

En este ejemplo podemos notar que para hacer operaciones con flotantes debemos colocar un '.' en el operador.

# 34.55 +. 34.21 ;;
# 2.3 *. 1.4 ;;

Para limpiar consola podemos ejecutar un comando:

# Sys.command "clear";; 

Para salir del shell:

# exit 1 ;;

Para ver las variables declaradas de un programa:

$ ocamlc -i programa.ml

Si no se quiere instalar Ocaml, se puede probar mediante este sitio:
https://try.ocamlpro.com/

Enlaces:
https://emanuelpeg.blogspot.com/search?q=ocaml
https://ocaml.org/
https://try.ocamlpro.com/