You might try a functional language such as Haskell. It allows you to feel denotational semantics (common in mathematics), rather than operational semantics (co

You might try a functional language such as Haskell. It allows you to feel denotational semantics (common in mathematics), rather than operational semantics (common in imperative programming).