Transparência referencial é uma boa propriedade para funções que são internas ao seu programa, porque torna mais fácil de entender o que o código faz. Funções que interagem com o mundo exterior (por exemplo, com um banco de dados) não podem ter transparência referencial.
O núcleo de Haskell é uma linguagem puramente funcional. Mas um programa puramente funcional em Haskell na realidade são apenas instruções para construir um programa, e o programa que é construído dessa forma tem efeitos colaterais. Isso é o que o tipo IO ()
significa: instruções para construir um programa cuja execução não tem transparência referencial.
O projeto de Erlang é um bom exemplo aqui. Em Erlang, os programas são feitos de processos que trocam mensagens. A linguagem dos processos tem transparência referencial, mas a maneira com que os processos trocam mensagens não, porque quando um processo envia uma mensagem, o destinatário observa essa ação.
update
pode ser idempotente (ou não), mas uminsert
jamais será. Enfim, se você editar sua pergunta detalhando exatamente onde quer chegar, talvez possamos ajudá-lo. (P.S. tiro no escuro: por acaso você tem um teste de unidade que faz uminsert
, e quer que esse teste retorne sempre o mesmoid
em toda execução?)