Hacker News new | ask | show | jobs
by Pxtl 1814 days ago
I do wonder if a typed language shouldn't have distinct types for trusted vs untrusted strings and binaries.