I'm wondering if it would make sense to build an OS based on principles important in functional programming, such as immutability. I can't think of any benefits right off the bat, but I'm also no OS designer..