It's interesting how MISRA C and Lisp represent different different kinds of "ideal" for programming. Lisp is at the extreme of expressiveness/flexibility/"power" (in the sense of giving the programmer control over the program), while MISRA C is at the extreme of portability/reliability/safety by severely limiting the abstractions programmers are allowed to use (no recursion! no C99! no comma operator!).
I find both appealing, although in different ways and of course for very different applications.