#REDIRECT [[Lennart Augustsson]]
'''Cayenne''' is a [[functional programming language]] with [[dependent type]]s.
The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power.
{{Rcat shell|
There are very few building blocks in the language, but a lot of [[syntactic sugar]] to make it more readable. The syntax is largely borrowed from Haskell.
{{R to related topic}}
}}
There is no special module system, because with dependent types records (products) are powerful enough to define modules.
The main aim with '''Cayenne''' is not to use the types to express specifications (although this can be done),
but rather to use the type system to give type to more functions. An example of a function that can be
given a type in '''Cayenne''' is printf.
<pre>
PrintfType :: String -> #
PrintfType (Nil) = String
PrintfType ('%':('d':cs)) = Int -> PrintfType cs
PrintfType ('%':('s':cs)) = String -> PrintfType cs
PrintfType ('%':( _ :cs)) = PrintfType cs
PrintfType ( _ :cs) = PrintfType cs
printf' :: (fmt::String) -> String -> PrintfType fmt
printf' (Nil) out = out
printf' ('%':('d':cs)) out = \ (i::Int) -> printf' cs (out ++ show i)
printf' ('%':('s':cs)) out = \ (s::String) -> printf' cs (out ++ s)
printf' ('%':( c :cs)) out = printf' cs (out ++ c : Nil)
printf' (c:cs) out = printf' cs (out ++ c : Nil)
printf :: (fmt::String) -> PrintfType fmt
printf fmt = printf' fmt Nil
</pre>
The '''Cayenne''' implementation is written in [[Haskell]], and it also translates to Haskell.
== External links ==
*The [http://www.dependent-types.org/ Cayenne home page]
|