3 ms·

This is good for Jakt but why another language?

by forgotpwd16 4y ago

rvense 4y ago
Why another OS? Why does anyone ever do anything?
- deleted 4y ago
  [deleted]
kramerger 4y ago
It's all part of Andreas' grand plan for serenity OS. Ask him about "the plan" next time he goes live :)
ndiddy 4y ago
This post goes over his motivation: https://awesomekling.github.io/Memory-safety-for-SerenityOS/ https://awesomekling.github.io/Memory-safety-for-SerenityOS/
- forgotpwd16 4y ago
  >I have nothing bad to say about other languages. This is simply the option that makes the most sense for SerenityOS, which is fundamentally about having fun and implementing everything ourselves. Kinda was expecting this but would've also liked see some critique of other languages.
- dcsommer 4y ago
  I appreciate the honesty in the FAQ. No thread safety and still some open questions about iterator invalidation. I look forward to seeing what they come up with! Borrow checker style "Aliasability XOR Mutability" does restrict a lot of valid programs, but has some nice properties for scaling large codebases besides the obvious performance advantage of ARC. I can see how this kind of big "down payment" to restructure programs might go against the incremental/fun approach embraced for SerenityOS. More reading on AXM and it's benefits for correctness: * https://manishearth.github.io/blog/2015/05/17/the-problem-with-shared-mutability/ https://manishearth.github.io/blog/2015/05/17/the-problem-wi... * http://smallcultfollowing.com/babysteps/blog/2013/06/11/on-the-connection-between-memory-management-and-data-race-freedom/ http://smallcultfollowing.com/babysteps/blog/2013/06/11/on-t... * https://manishearth.github.io/blog/2015/05/03/where-rust-really-shines/ https://manishearth.github.io/blog/2015/05/03/where-rust-rea...
cardanome 4y ago
I haven't yet used it but from what I can tell seamless integration with existing C++ code might be quite a killer feature. Plus everything immutable per default is pretty sweet. And no borrow checker, so simpler than Rust. Honestly I could see that language take off even outside of SerenityOS.

This is good for Jakt but why another language?

rvense 4y ago

Why another OS? Why does anyone ever do anything?

deleted 4y ago
[deleted]

kramerger 4y ago

It's all part of Andreas' grand plan for serenity OS. Ask him about "the plan" next time he goes live :)

ndiddy 4y ago

This post goes over his motivation: https://awesomekling.github.io/Memory-safety-for-SerenityOS/ https://awesomekling.github.io/Memory-safety-for-SerenityOS/

forgotpwd16 4y ago
>I have nothing bad to say about other languages. This is simply the option that makes the most sense for SerenityOS, which is fundamentally about having fun and implementing everything ourselves. Kinda was expecting this but would've also liked see some critique of other languages.
dcsommer 4y ago
I appreciate the honesty in the FAQ. No thread safety and still some open questions about iterator invalidation. I look forward to seeing what they come up with! Borrow checker style "Aliasability XOR Mutability" does restrict a lot of valid programs, but has some nice properties for scaling large codebases besides the obvious performance advantage of ARC. I can see how this kind of big "down payment" to restructure programs might go against the incremental/fun approach embraced for SerenityOS. More reading on AXM and it's benefits for correctness: * https://manishearth.github.io/blog/2015/05/17/the-problem-with-shared-mutability/ https://manishearth.github.io/blog/2015/05/17/the-problem-wi... * http://smallcultfollowing.com/babysteps/blog/2013/06/11/on-the-connection-between-memory-management-and-data-race-freedom/ http://smallcultfollowing.com/babysteps/blog/2013/06/11/on-t... * https://manishearth.github.io/blog/2015/05/03/where-rust-really-shines/ https://manishearth.github.io/blog/2015/05/03/where-rust-rea...

cardanome 4y ago

I haven't yet used it but from what I can tell seamless integration with existing C++ code might be quite a killer feature. Plus everything immutable per default is pretty sweet. And no borrow checker, so simpler than Rust. Honestly I could see that language take off even outside of SerenityOS.