4 ms·

I wonder why Taint Checking (https://en.wikipedia.org/wiki/Taint_checking https://en.wikipedia.org/wiki/Taint_checking) never caught on in more languages.

• mcphage 7y ago
  I mean, I’ve got a pretty good idea why it never caught on in English...
  • hnick 7y ago
    It pre-dates the slang term by quite a while, unless it was around back in 1989? I don't recall seeing that online until the last decade or so.
    • mcphage 7y ago
      Dictionary.com claims it dates back to at least 1977, but I have no idea.
    • nereye 7y ago
      Wiktionary has it as far back as 1972, see https://en.wiktionary.org/wiki/taint https://en.wiktionary.org/wiki/taint.
• jolux 7y ago
  Seems less useful in languages with strong static type systems?
  • mcphage 7y ago
    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.