:- 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).