Type safety does not matter | Dark Hacker News