Right, that was unclear. Languages that rely on garbage collection can't realistically be used in flight. "Something like OCaml" but with manual memory management might be better than Ada. But with recursive functions also frowned upon in avionics, a lot of the fun of OCaml might be drained...