3 ms·

It requires a language with dependent types, like Idris.

• 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.