true, I should explain better.... I was sort of referring to the fact that most functional languages are also dynamic/meta-programming type of environments, no

true, I should explain better.... I was sort of referring to the fact that most functional languages are also dynamic/meta-programming type of environments, not compiled to straight non-modifiable all-ROMable code that absoutely will not change at run-time. Those are the features that are frowned upon, not the functional programming features. So for examnple, a LISP or Haskell that compiles down to a straight binary that is all static is absolutely possible, but you do lose out on the nice features. There has been research into a SIL4 jvm, but I cant find any product that came out of it. Bare in mind that you need 100% traceability, 100% code coverage, etc all the way from your byte-code down to bare-metal, thru the JVM/runtime/etc. >http://www.oracle.com/us/technologies/embedded/embedded-java.. http://www.oracle.com/us/technologies/embedded/embedded-java.... Thats just plain old embedded Java... nothing to see here, we're talking SIL rated java... its a different animal