やはり関数型OSが本命だろうな。