Linked by J. Scott Edwards on Fri 17th Dec 2004 18:51 UTC
Every hard-core OS aficionado has done it: Laid out a grand scheme for creating the perfect OS. Taking all the best features and attributes from the OSes we love, and making sure to assiduously avoid the pitfalls of the OSes we don't. Maybe our goals were modest, and we just wanted a slightly tweaked version of an existing OS. But sometimes we're feeling ambitious, and we have large, creative ideas for revolutionizing computing. Long-time OSNews reader and contributor J. Scott Edwards just couldn't help himself, and he has set about to not only plan, but to try to build his dream OS.
Permalink for comment
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Recent Original Stories
Recent Comments
Headlines
Random Comments
Random Stories
Random OS Link
Wow, J. Edwards, your ideas are so similar to ones I used to entertain...it's scary.
Even down the the Eiffel stuff. I read Bertrand Meyer's big OO book myself and was very impressed.
Since then my opinions have changed a little. I'm less enthusiastic about the design by contract idea. Design by contract is useful for documenting what exactly you intend your methods to do, but I think it's less useful in making sure your code is error-free.
I think we can expect more of our methods. Design by contract just puts tests around them. It would be better to prove the correctness of pieces of code before they are run.
Tall task, yes. I suspect that programming has much to learn from math, especially discrete math. When you build this new OS, perhaps you can prove parts correct?