I am currently exploring languages, operating systems.. my conclusions so far are that the two fish in the pond are plan9, and oberon. I am also aware of Geoff Collyers criticisms of RISC-V, and the criticisms of oberon of principia-softwarica. But that's about where my knowledge ends. I am also extremely suspicious of any project that makes any use of c++, being familiar with both the art of unix programming, and the attitudes of the suckless community.
Something that really surprises me is, a project so closely connected to the simplicity and elegance of oberon, also connected to c++, a language so widely vilified for complexity and ugliness, and with which oberon itself, apparently, competes. I'm sure there must be really good reasons for all this.
On the one hand, the art of unix programming claims that object-orientation only succeeds at solving certain problems by creating something sufficiently complex that the human mind can barely cope. Then I read that oberon solves problems that c can't solve, while claiming to be better than c++. Then I read, in principia, that oberon is only simplified by getting rid of all the really interesting and valuable functionality that is in plan9.
So the questions: is that functionality really necessary, or is oberon really all we need? and.. what would a plan9 system written in object-oriented oberon look like? in oberon+ with concurrency/parallelism? would this result in a better system than the current plan9? And what about safer languages like ada? (rust being based on c++, and therefore not being a real contender..)
Comments
I am currently exploring languages, operating systems.. my conclusions so far are that the two fish in the pond are plan9, and oberon. I am also aware of Geoff Collyers criticisms of RISC-V, and the criticisms of oberon of principia-softwarica. But that's about where my knowledge ends. I am also extremely suspicious of any project that makes any use of c++, being familiar with both the art of unix programming, and the attitudes of the suckless community.
A brief glance at https://oberon-lang.github.io/2023/12/25/towards-concurrency... tells me that oberon+ supports parallelism, so I take that to mean that the criticisms in principia-softwarica no longer completely hold, at least for that new language.
Something that really surprises me is, a project so closely connected to the simplicity and elegance of oberon, also connected to c++, a language so widely vilified for complexity and ugliness, and with which oberon itself, apparently, competes. I'm sure there must be really good reasons for all this.
I should make this clearer.
On the one hand, the art of unix programming claims that object-orientation only succeeds at solving certain problems by creating something sufficiently complex that the human mind can barely cope. Then I read that oberon solves problems that c can't solve, while claiming to be better than c++. Then I read, in principia, that oberon is only simplified by getting rid of all the really interesting and valuable functionality that is in plan9.
So the questions: is that functionality really necessary, or is oberon really all we need? and.. what would a plan9 system written in object-oriented oberon look like? in oberon+ with concurrency/parallelism? would this result in a better system than the current plan9? And what about safer languages like ada? (rust being based on c++, and therefore not being a real contender..)
I am in discussion now with a colleague on the subject of c++/rust, so there will be greater clarity on that soon.