5 ms·

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 u

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 7y ago
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 7y ago
Hello World in Haskell would already be too large for many micro controllers.
- pjmlp 7y ago
  OCaml, Oberon, Java, Lisp and Scheme manage just fine.
  - BubRoss 7y ago
    The parent didn't mention any of those.
    - pjmlp 7y ago
      > "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.