Yea, distributed complex systems are hard. 
Typed functional programming would help to some degree.