A language for building concurrent software with confidence