OSの記述には関数型が優れているという
話を聞いたが実際はどうなんだろう。