My experience as well with embedded rust, in two areas: Async, and typestates. Typestates are popular in OSS embedded rust. The idea is that the compiler catche

My experience as well with embedded rust, in two areas: Async, and typestates. Typestates are popular in OSS embedded rust. The idea is that the compiler catches errors, and your program is safer. In practice, it leads to verbose type signatures, and inflexibility. I think the reasons for this are both the idealism you mentioned, and being used to build infrastructure, without applying to practical problems. (ie, the examples you'll see for these libs are "hello world" style, for a given peripheral.