Are you interested in how functional programming can be leveraged to make embedded-systems programming easier and more reliable? You are not alone. For example, check out what’s been happening in just the past couple of years.
- Programming the Arduino micro-controller with Atom/Haskell.
- The Atom eDSL language itself.
- The Feldspar language for DSP (embedded in Haskell).
- Writing a DO178B-compliant compiler in Ocaml (presented at ICFP’09).
- … And others.