[daniel_rh]

or written in a secure language without undefined behavior and without any "unsafe" code like Rust or Safe Haskell.

IoT probably should be shipping code that uses static compiler checks as the first line of security defense rather than run-time checks like valgrind and asan.

[Skunkleton]

Embedded programming will always be unsafe to a degree. You can't avoid interacting w/ hardware. Static analysis can only get you so far.

[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.