trash

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