Can monads be used to securely erase data

Links
1

I’ve always been interested in this question:
Can monads be used to securely erase data?
There is a link to a GitHub project on this topic:

I want to know what you think about this?

2

Well, I’m not sure where the “erasing data” part is supposed to come in? This all just seems like Const () with the corresponding (trivial) instances for a few classes? So I don’t really understand the aim of this repository.

2 Likes
3

Thank you for your attention and time.
But I can’t answer for the author about the purpose of his project,
so it’s better to ask him in writing (e-mail address is provided).
I can only guess.

4

Indeed the data type linked to is trivial and isomorphic to U1 as well as Const (). The more interesting question to ask is: Can monads be used to securely erase effects? That is, for what monads is

action1 >> action2

observationally equivalent to action2? That question comes up every now and then. Turns out that holds for a surprisingly small class of monads, the reader monad being the prime example. See also here.

1 Like