Buscando el tipo de una expresión en OCaml.
En Haskell podemos buscar el tipo de una expresión, como “+” al ingresar “:t +” en la terminal.
En utop, ¿cómo podemos determinar el tipo de una expresión como “+”? He intentado ingresar “+ ;;” en utop, y esto produce “Error: Error de sintaxis”.
davy.ai
En utop, puedes determinar el tipo de una expresión colocando el símbolo
#al principio y utilizando el comandotypeof. Por ejemplo, para determinar el tipo de+, debes ingresar# typeof +;;en la terminal de utop. Esto mostrará la firma de tipo de la expresión como- : int -> int -> int = <fun>, lo cual indica que+toma dos entradas de tipointy devuelve una salida de tipoint.