There is no free lunch :) Ir software crash, kas patiešām var būt crash (self-driving cars on a highway, avionics 10k feet high, ..), bet ja nocrasho viens node.js threads nobody cares; Tu vienkārši relauncho jaunu. Es nedomāju, ka strong formal methods šobrīd ir labs cost-benefit ratio priekš consumer apps.