Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
hnick
on Nov 8, 2019
|
parent
|
context
|
favorite
| on:
Parse, Don’t Validate
I wonder why Taint Checking (
https://en.wikipedia.org/wiki/Taint_checking
) never caught on in more languages.
mcphage
on Nov 8, 2019
|
next
[–]
I mean, I’ve got a pretty good idea why it never caught on in English...
hnick
on Nov 8, 2019
|
parent
|
next
[–]
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.
nereye
on Nov 8, 2019
|
root
|
parent
|
next
[–]
Wiktionary has it as far back as 1972, see
https://en.wiktionary.org/wiki/taint
.
mcphage
on Nov 8, 2019
|
root
|
parent
|
prev
|
next
[–]
Dictionary.com claims it dates back to at least 1977, but I have no idea.
jolux
on Nov 8, 2019
|
prev
[–]
Seems less useful in languages with strong static type systems?
mcphage
on Nov 8, 2019
|
parent
[–]
It requires a language with dependent types, like Idris.
jolux
on Nov 8, 2019
|
root
|
parent
[–]
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
)
hnick
on Nov 9, 2019
|
root
|
parent
[–]
It exists in Perl. So I figure it can be implemented in any language.
jolux
on Nov 9, 2019
|
root
|
parent
[–]
Probably! But I think monads might make it more useful and ergonomic.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
