Hi Guillaume,
> Do you think is it suitable to be a good Shell Script/Env for the Hurd/L4 ?
I think Oz is very good programming language for new L4-based operating system
(not Unix/POSIX), it got a lot of stuff in it.
Let Linux rule in the Unix world, it is good at it. Why L4 should compete with
it?
I am biased towards term-rewriting(like Q) or functional
languages(erlang/haskell) for shell script/ad-hoc work, instead of bash or perl.
> When do you plan to implement secure design (critical for our use) ?
I think you already know the seL4 (http://www.ertos.nicta.com.au/research/sel4),
it used Haskell model/demo.
But I like Mozart/Oz to handle the user authority/security of user
threads/processes/files(like the database systems handle its resources).
Let L4 handle the few trusted processes(Oz,etc.)
> Is the concurrency implementation robust enough to do massive multithread ?
According to them, it's better than Java.
By the way, I am just in the daydreaming stage:)
Regards,
dex
Guillaume FORTAINE wrote:
Hello all,
Thanks to dx of l4-hackers, I discover your marvellous language.
Do you think is it suitable to be a good Shell Script/Env for the Hurd/L4 ?
When do you plan to implement secure design (critical for our use) ?
Is the concurrency implementation robust enough to do massive multithread ?
Thank you for your answer,
Best Regards,
Guillaume FORTAINE
_________________________________________________________________________________
mozart-hackers mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
_________________________________________________________________________________
mozart-hackers mailing list [email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
