Karry | |
---|---|
Sprog klasse | funktionelt programmeringssprog og logisk programmeringssprog |
Frigøre |
|
Blev påvirket | Haskell og Prolog |
Internet side | curry-language.org |
Curry er et indlejret programmeringssprog til generelle formål , der implementerer to deklarative programmeringsparadigmer - funktionelle og logiske . Opkaldt efter den amerikanske videnskabsmand Haskell Curry .
Lån fra funktionel programmering - indlejrede udtryk, funktioner af højere orden , doven evaluering ; elementer af logisk programmering - logiske variabler, partielle datastrukturer, indbygget søgesystem. Blandt funktionerne er brugen af teknikker til parallelle systemer, såsom parallel evaluering af udtryk med synkronisering på booleske variable. Sproget giver også yderligere mekanismer sammenlignet med rene programmeringssprog: sammenlignet med funktionelle sprog - søgning og beregninger på ufuldstændige data, sammenlignet med logiske - en mere effektiv beregningsmekanisme på grund af determinisme og kald efter behov for funktioner .
Der er flere implementeringer af sproget: PAKCS (University of Portland, University of Aachen , University of Kiel ) kompilerer Curry-programmer til Prolog -kode ; KiCS- og KiCS2-implementeringerne af University of Kiel kompilerer programmer til Haskell -kode ; University of Münster implementering af MCC sørger for kompilering til maskinkode .
Programmeringssprog | |
---|---|
|