Pony - High Performance Actor Programming