I don't think mutability is problem here. Many imperative languages don't have null.