For 10 points, name these constructs, such as Clojure, Python, and SQL.
These constructs are divided into two types in Ousterhout's Dichotomy, which classifies the "smaller" easier-to-use type of them as "glue." Nwankwogu Sopuruchi classified these things into five generations, with the first-generation type of them being the least portable and the fifth-generation type of them often being used for tasks such as knowledge representation. Mathematical proofs may be expressed using these constructs and have their correctness verified by them according to the Curry- (*) Howard isomorphism. The first non-Von Neumann one of these, Plankalkul, was developed by Konrad Zuse for the Z3. Many of these constructs are Turing-Complete, even shit-for-brains ones like Shakespeare and Brainfuck. Pseudocode is an informal description of an algorithm structured according to the rules of these constructs. For 10 points, name these constructs, such as Clojure, Python, and SQL.
These constructs are divided into two types in Ousterhout's Dichotomy, which classifies the "smaller" easier-to-use type of them as "glue.
programming languages [accept formal languages; accept computer programs; prompt on operational semantics; prompt on languages] 