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.

Loading...

This page contains content from the copyrighted Wikipedia article "Cayenne (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.