Personally I have found that it's quite clean and easy to program in
"C+" by simply using a C++ compiler and just not going wild with all
the features that you *could* use. You don't *have* to use all of it,
you know. In that way, your "M" language really becomes a particular
*style* of C++ rather than a full-blown programming language in its
own right. This is actually a Good Thing[TM], since it means you can
leverage existing compilers and so forth.
Way back in the 0.99.x days we actually tried doing the Linux kernel
using the g++ compiler, the main motivation for that was to get
type-safe linkage. At that time, as everyone knows, g++ wasn't up to
snuff; that has probably changed now. The LKML FAQ claims that "there
would be no point" unless we started using C++ features left and
right; personally I think type-safe linkage is plenty of reason
enough.
I think it might be worth another attempt once gcc 3.x stabilizes
enough that it's the accepted standard compiler. It will be more
invasive this time around, because of the module system, but the
benefit might be greater.
-hpa
-- <hpa@transmeta.com> at work, <hpa@zytor.com> in private! "Unix gives you enough rope to shoot yourself in the foot." http://www.zytor.com/~hpa/puzzle.txt <amsp@zytor.com> - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/