[orthecreedence]

It's going to be really great as Rust spreads further and further into the embedded world. I know enough C to get by, but I'm always second guessing myself when things start to get complicated, and Rust has really made lowish-level programming a lot easier for me. The safety features in addition to exposing a C ABI make it a great language for build once, run everywhere (everywhere that LLVM supports, anyway). Exciting times.

[TickleSteve]

Unfortunately, there's little chance for Rust to make inroads into the embedded market, tho I wish it were otherwise.

C++ has had many benefits over C for embedded s/w for many years and has similarly failed. Note that contrary to popular belief, C++ does not result in larger, more inefficient s/w than C (for the correct C++ subset).

The momentum behind the C ecosystem is so overwhelming that Rust simply will not get a foothold anytime soon.

[polyfractal]

That's why I quite like the approach of using existing C tooling and SDK, then linking in "user-land" Rust. I wanted to run stuff on the RTL8710, and it seemed crazy to start rewriting all the HAL from scratch.

But it only took an afternoon to bolt Rust into the C build because Rust's FFI story is really nice (imo). So I get the best of both worlds: existing C HAL and SDK with the pleasantness and safety of Rust.*

* With the assumption/hope that the HAL isn't buggy, since Rust will rely on that to not explode :)

[elcritch]

Brilliant! Thanks for the proof of concept. I've been debating this method, but it looks like you got it setup relatively quickly. Almost as easy as transitioning to another C compiler/tool chain.

[pcwalton]

> The momentum behind the C ecosystem is so overwhelming that Rust simply will not get a foothold anytime soon.

You could also say this for C on Unix in 1990. Or x86 assembly for PCs in 1985. In 1990, the idea that, 25 years later, we would be deploying network services written in JavaScript was unthinkable.

Change takes time, and C won't die, ever—but history shows that change eventually does happen.

[pjmlp]

> You could also say this for C on Unix in 1990.

You can still say this on 2017.

No UNIX kernel will ever be written in anything other than C, the way they are married to each other and the way UNIX culture works.

To get rid of C we need to get rid of UNIX, even a POSIX like OS coded in say Ada, needs to expose C like semantics for POSIX compatibility.

Which means we still have a long way ahead in what concerns improving security.

[pcwalton]

Yeah, I was referring to the userland, not the kernel.

[jgable]

My company uses a C++ subset (no STL, no malloc) on all of our embedded projects, which are mostly on ARM Cortex-M4.

I'd love to learn and start using Rust in our work, but we are client-project-driven, so it will be hard to justify the investment and productivity drop. I think it would make it easier to attract top talent, though things are weird in the embedded world.

[digikata]

I had a co-worker a long time ago described this problem as being a bunch of lumberjacks chopping down trees, but who were never allowed to stop and sharpen their axe's (let alone procure the chainsaws and learn how to use those...).

[tines]

I'm a C++ enthusiast interested in embedded programming but I have very little experience. What is the rationale for your company's avoidance of the STL, is it primarily binary size?

[bbatha]

Likely because it allocates and uses exceptions pervasively.

[kevin_thibedeau]

We use embedded C++ though it is mostly C with classes and sugar after throwing out STL and exceptions. I'm eagerly awaiting more embedded friendly Nim improvements since it can be plumbed into existing embedded C tool chains.

[dom96]

Happy to see that you mentioned Nim. What improvements are you looking for in regards to embedded development?

[kevin_thibedeau]

The ability to do useful things without the GC would be nice.

[nine_k]

What makes the ecosystem so unfriendly to languages that link to C easily, either way?

[nickpsecurity]

The ecosystem... from people to compilers to libraries to tutorials... is all C and its style of doing things. Gotta be as close to it as possible to have a chance. It's why the successful languages in enterprise, system space used C-like syntax. Still took a huge company basically dictating it.

[pjmlp]

The culture, the outdated compilers (expect C89 and C++98) and software designed by hardware engineers.

[petra]

What about ARM's mbed bet(and ARM know their stuff) , written in c++ ? no chance for it sucseeding in the IOT , yet ARM claim a large ecosystem ?

[TickleSteve]

mbed is not a large ecosystem, its large in the 'IoT' world, but no one doing real embedded work (more than say half a million units) would use mbed.

[petra]

>> real embedded work (more than say half a million units)

Altough most of the units shipped will be above this, won't a decent share of projects(in general ,not just the IOT) be below that threshold ?

[lacampbell]

Is rust actually used in the embedded world, anywhere? All sorts of languages have been made to run on micro controllers, from Pascal to Scheme.

[scandox]

Got talking to a dude on the phone (random call about something totally non-technical). Turned out he was an embedded systems engineer in the Nuclear industry. Uses Forth for everything. He strongly encouraged me to use it for any embedded hobby project.

[jlewallen]

JeeLabs has some stuff on Forth in the uC world: http://jeelabs.org/2016/02/dive-into-forth/

[swah]

I love that jeelabs blog.. Also, some languages running on esp8266:

https://github.com/yesco/esp-lisp

https://github.com/zeroflag/punyforth

https://micropython.org/

(and of course lua which i didn't try because its official... https://github.com/nodemcu/nodemcu-firmware)

[lacampbell]

damn that looks fun. as if I didn't already have enough things I want to learn...

[swah]

Charles Moore?

[nine_k]

Not many languages can be made to run efficiently on a 83 MHz core with few kbytes of RAM.

Pascal, maybe, but it's about the same thing as C.

Scheme would be nice, but it's both more resource-hungry and the static checking is sort of bolted on.

With Rust's security features I hope we'll have fewer crashing or crackable embedded devices.

[pjmlp]

Pascal, these guys have options for almost all relevant processors.

http://www.mikroe.com/mikropascal/

Scheme, do people actually know how powerful RTL8710 is in regards to the computers used to create Scheme?

RTL8710 has a ARM Cortex M3 @ 166 MHz with 48KB available to user and 1MB flash.

Scheme was developed on the ITS OS, running on PDP-10, which could have up to 256 kilowords (not KB), and ran at about 30 MHz.

I am with you on Rust.

The majority of these tiny devices have more resources than 70's mainframes, that used safer systems programming languages.