> business logic and data structures. It seems fine to want to not have bugs in principle! I think there is no (embedded) language so far which prevents you fr

> business logic and data structures. It seems fine to want to not have bugs in principle! I think there is no (embedded) language so far which prevents you from having bugs in business logic.