'''Purity''' is a total functional programming language inspired conceptually and syntactically by languages like Haskell and Charity.