Karry

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 .

Links

  1. https://www-ps.informatik.uni-kiel.de/currywiki/_media/documentation/report.pdf