Cayenne*
Fűszeresebb mint a Haskell
A Cayenne egy funkcionális nyelv egy hatalmas típus rendszerrel. Az alaptípusok a függvények, produktumok és szummák. Függvények és produktumok alárendelt típusokat használnak, hogy további kifejezőerőhöz jussanak.
Nagyon kevés beépített blokk van a nyelvben, de a rengeteg szintaktikus cukorka sokkal olvashatóbbá teszi.
A Cayenne "design" -jára nagy hatással volt a Haskell és a konstruktív típus elmélet és néhány dolgot a Java. nyelvből kölcsönzött.
Egy ilyen erős típusos rendszer hátránya hogy a típusellenőrzés eldönthetetlenné válik.
Lennart Augustsson
aki tervezte ezt a Haskell-hez közel álló nyelvet. A munkájának nagy részét funkcionális
nyelvek tanulmányozásába és implementálására fordította. A Haskell ami a mai napig nagyon közel áll hozzá
és a Cayenne aminek a fejlesztésébe belekezdett ennek kapcsán (bár a jelek szerint a project megragadhatott).
A Cayenne implementációja nem végleges és állandó változásban van. A fordító Haskellben íródik, és
leginkább egy típusellenőrző rendszer jelenleg.