A subset of perl language based on typed lambda calculus.