Idris - General purpose pure functional programming language with dependent types influenced by Haskell and ML. Ada/SPARK - Modern programming language designed for large, long-lived apps where reliability and efficiency are essential. Q# - Domain-specific programming language used for expressing quantum...