Tags: Programming Language.
Cayenne is a functional programming language with dependent types.The basic types are functions products and sums. Functions and products use dependent types to gain additional power.There are very few building blocks in the language but a lot of syntactic sugar to make it more readable.