Yes, for example the Dhall (non-Turing complete) programming language does this: https://github.com/dhall-lang/dhall-lang