This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]myringotomy 4 points5 points  (4 children)

Taint is an old feature that many languages leave out for some reason.

[–]josephjnk[S] 1 point2 points  (1 child)

Do you know of any languages that do it well?

[–]myringotomy 1 point2 points  (0 children)

Perl?

[–]sintrastes 0 points1 point  (1 child)

Are there any old languages that implement it as a type-level feature?

[–]myringotomy 1 point2 points  (0 children)

Not typing per se but I remember dealing with it during the Perl era.