For me the key take away on the Spark bit was on the security of software for autonomous vehicles. Java, .NET, and Julia do not have similar security and verifi

For me the key take away on the Spark bit was on the security of software for autonomous vehicles. Java, .NET, and Julia do not have similar security and verifiability features as Spark. Although, I was playing with F/F# for this. F compiles to OCaml, F#, or C via KreMLin.