Well, theoretically, it would make it possible to abstract away writing traditional fine-grained code, just like our languages today abstracted away assembly, which in turn asbtracted away flipping mechanical switches.