Ask HN: Is there empirical evidence that static types reduce bugs? | Heykuki News