This is just one example from many I can pick up, this one is Java, but there are systems done in other GC languages as well.
But I do agree it is a matter of hardware resources and if hard or soft real time guarantees are to be expected, just that not all embedded systems require real time processing.
IIRC, in the "real time java" world though, they don't use Java as is though. They mostly fight with the language, statically allocating all things in advance etc.
In that sense, one could also use Go. But that is a bleak argument.
What? I never disagreed that Java is used for realtime embedded systems.
I'm aware of the existence of "real time Java". There can be such a thing because of specifications like " areas of memory that are not subject to garbage collection, along with threads that are not preemptable by the garbage collector" [1]. Like I said... guarantees....
Yes, Ada needs more love here. I think that Rust's main goals are already implemented with Ada (low-level, reliable, strong typing etc.). Plus that Ada is a proven work horse with existing tools and best practices. It just hasn't the C feeling they want in Rust.
My heart has a sweet spot for the Pascal family of languages and their strong typing, in regard to C and C++.
Ada suffered from lack of available cheap compilers back in the 80's, and like Turbo Pascal and Modula-2 it was a victim of UNIX's success, which had the sad side effect of promoting C for systems programming, with all security issues we have nowadays.
Now with the work of GNAT Core, and more security conscious developers, Ada seems to be getting new users, at least here in Europe as more universities adopt it. It is already a constant presence at FOSDEM in the last few years.
Yes, I wish that GNAT gets more adoption. Where appropriate I recommend Ada. It would be helpful to have some impressive and successful applications outside the high-integrity/reliability niche.
Are you aware that there are embedded systems coded in GC enabled languages?
It is all a matter of the available resources.