Charity – Categorical programming language (1998)

It looks like what you would get if python and ocaml had a baby.

"All Charity computations terminate" - Turing decidable it was.