trash
123456789101112131415161718192021222324252627282930313233343536
:- module main.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
:- import_module list.
:- import_module int. % Importamos el módulo int para operadores aritméticos y relacionales
% Definimos un tipo simple que encapsula un entero
:- type my_data ---> data(int).
% Una función que crea una lista de 'my_data' con n elementos
:- func create_data_list(int) = list(my_data).
create_data_list(N) = (if N =< 0 then [] else [data(N) | create_data_list(N - 1)]).
% Una función que procesa la lista y la convierte en una lista de enteros
:- func process_data_list(list(my_data)) = list(int).
process_data_list([]) = [].
process_data_list([data(X) | Xs]) = [X | process_data_list(Xs)].
main(!IO) :-
% Creamos una lista de 10 elementos
DataList = create_data_list(10),
% Procesamos la lista
IntList = process_data_list(DataList),
% Imprimimos la lista procesada
io.write_list(IntList, ", ", io.write_int, !IO),
io.nl(!IO),
% En este punto, DataList y IntList ya no son necesarios y el recolector de basura
% se encargará de liberar la memoria asociada a estas estructuras.
io.write_string("Memory has been managed automatically by the garbage collector.", !IO),
io.nl(!IO).
Mercury
INFO