[cap-talk] Confessions of a C programmer

[Raoul Duke]

> On a more serious note, languages with lots of features, such as
> threading[1], are more difficult to implement in limited environments
> (unless the features do not use OS facilities/system calls). Languages
> which use threading internally are even more problematical. (Imagine taming
> away the thread references in the Java libraries.)
>
> Languages with a run-time interpreter, such as Java, have the issue of
> verifying what is usually a fairly large C program. The upside is that the
> verification effort covers a large number of things you might want to
> write, and there many other eyes testing the same body of code. The
> downside is that you may have to port and verify a number of features which
> are inconvenient to cleanly port.

i sure wish somebody had the time and money to verify Erlang (+ Dialyzer).

heck, might versions of Ada that fit the bill? i say only half
jesting. i've seriously wanted an s-expr front-end to Ada before, i
think it would be really great along the lines of Lisp Flavoured
Erlang.

sincerely.