Yes, because "typed programs can't go wrong" is not really a promise, but a desperate wish.