It's a shame Pony does not get enough attention as it's a very nice language that as you say, introduces truly innovative ideas. I wrote some code in it and it

It's a shame Pony does not get enough attention as it's a very nice language that as you say, introduces truly innovative ideas. I wrote some code in it and it was extremely fast, in the same order of magnitude as Rust/C. But it was quite complex to write, unfortunately, compared to the Rust version (which also guarantees no deadlocks and safe concurrency). On the other hand, the code looked quite a lot prettier due to its Python-like syntax. Anyway, it's one of those tools I keep in the shed, hoping to one day find a good use for it... just hope it continues evolving (specially running Actors on multiple machines would be a real killer feature - making Pony like a typed Erlang with beautiful syntax).