3 ms·Seems less useful in languages with strong static type systems?by jolux 7y agoSeems less useful in languages with strong static type systems?mcphage 7y agoIt requires a language with dependent types, like Idris.jolux 7y agoI 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 agoIt exists in Perl. So I figure it can be implemented in any language.jolux 7y agoProbably! But I think monads might make it more useful and ergonomic.