tipos
12345678910111213141516171819202122232425
:- module main.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
:- import_module string.
:- pred ejemplo_predicado(int::in, string::out) is det.
ejemplo_predicado(X, Y) :-
% Esto sería un error de tipo en Mercury
% Y = X + "hola".
% Forma correcta con conversión explícita
Y = string.from_int(X) ++ " hola".
main(!IO) :-
T = 1,
% No puedo asignar otro tipo a una variable creada
% T = "hola",
% T = 2,
ejemplo_predicado(42, Resultado),
io.write_string(Resultado, !IO),
io.nl(!IO).
Mercury
INFO