Ask HN: What language features would prevent bugs?

Bugs are a problem. They can lead to outages but even bugs you find lead to rework and cost money. I've wondered what language features would prevent bugs. One example is Adas naming of closing blocks like 'end loop' and 'end if'. What are your examples and ideas?