3 ms·

I don't think it does require dependent types, actually. Can't it be implemented as a monad? (possibly https://hackage.haskell.org/package/Tainted https://hacka

by jolux 7y ago

I don't think it does require dependent types, actually. Can't it be implemented as a monad? (possibly https://hackage.haskell.org/package/Tainted https://hackage.haskell.org/package/Tainted)

hnick 7y ago
It exists in Perl. So I figure it can be implemented in any language.
- jolux 7y ago
  Probably! But I think monads might make it more useful and ergonomic.