Shape typing in Python | Dark Hacker News