New Language to write HurdNG

[arnuld uttre]

I am very much intersted in writing a microkernel for HurdNG. Anyway,
I see Debian is set to release GNU/Hurd by this year end or early 2013
and this is still on "old baby" Mach. I think many must have
recognized my name already (may be the as the guys who talks and talks
but does nothing *practically*). I don't do anything because I don't
want to use C or C++ to write  microkernel. I have my reasons for
this:

After 40 years we are still using a language that was designed on some
ancient piece of equipment to take benefit of the instruction set of
that hardware. We have machines which are 1000 times powerful than
those equipments but we still use the same language, earlier we didn’t
have any higher level language that competes with the efficiency of C
but today we have choices. Hardware has grown and technically blasted
beyond the levels of imagination but system programming languages have
remained there. I always keep on searching for options. I came across
3 choices: ATS, BitC and decac.

ATS:

ATS is a statically typed programming language that unifies
implementation with formal specification. It is equipped with a highly
expressive type system rooted in the framework Applied Type System,
which gives the language its name. Performance comparable to C (bit
not equal) at language shootout.


decac (ak.a Deca)
Deca is a language designed to provide the advanced features of
sophisticated, high-level programming languages while still
programming as close as possible to the bare metal. It brings in the
functional, object-oriented, and generic programming paradigms without
requiring a garbage collector or a threading system, so programmers
really only pay in performance for the features they use. Project
hosted at code.google.com , still in development.


BitC:

Lanmguage written for Coyotos. Went through many changes, looked very
promising to me till the idea of using Coyotos as microkernel for Hurd
was dropped for some technical reasons. As of now development of BitC
has stopped and soon Shapiro is gonna come out with the post-mortem
report of why it is stopped.

I have these questions:

(1) What do you guys think of this ?  agreement, disagreement, hate
this crazy idea, ? or look at this guy named arnuld, he is completely
insane, thinking of rewriting 20 years of work into some new language
in next 2 years.

(2) is there any other modern systems programming language out there
that I missed ?

(3) Any other advice, ideas to make Hurd as general purpose usable OS
? (its not usable as of now and I don't think it will comete with
Windows/Linux/MacOSX even in 2013).

If I go crazy then I may even rewrite entired Hurd as HurdNG in new language.

NOT RELATED:  I was surprised to see Intel Fortran was above gcc in
performance everytime. I thought C is the fastest language on Earth:
http://bit.ly/GHSFZO

Excerpts taklen from my Blog:
http://lispmachine.wordpress.com/2010/03/10/a-simple-concept/


--  arnuld
http://uttre.wordpress.com/2008/05/14/the-lost-love-of-mine/