[BubRoss]

Hello World in Haskell would already be too large for many micro controllers.

[pjmlp]

OCaml, Oberon, Java, Lisp and Scheme manage just fine.

[BubRoss]

The parent didn't mention any of those.

[pjmlp]

> "written in a secure language without undefined behavior"

"Like" following the rest of the sentence can be understood as "for example", and not as the only possibilities to choose from.