But what marcov wrote... change a bit the picture. Another option could be Modula-2 (I think no GC whatsoever). But I was not able to have a separate gnu gcc to work in my distro (which does not pack gm-2).
There was a subthread two or three weeks ago related to compiling gm2. Broadly speaking, I think that all of us with experience in the area would agree that while M2 is a better language (no dangling else, tightened up type rules) the fact that it's been barely touched over the last 25 years acts to its disadvantage.
And because it lacks some of the fundamental OO conveniences that one can use without compromising ones principles (in particular stringlists) you *WILL* find that you have to use "classical" heap-based programming (i.e. trees, linked lists and so on) heavily, and that the surviving lore will assume that you are prepared to do so.
MarkMLl
Is it possible for you to have handy the link? I would like to give it a try. Besides, I have nothing to lose.