Curry: 함수형 프로그래밍과 논리형 프로그래밍의 완벽한 조합

Curry는 선언형 다중 패러다임 프로그래밍 언어로, 함수형 프로그래밍(중첩된 표현식, 고차 함수, 강력한 형식 지정, 지연 평가)과 논리형 프로그래밍(비결정성, 내장 검색, 자유 변수, 부분 데이터 구조)의 기능을 매끄럽게 결합합니다. 단일 패러다임 언어와 비교하여 Curry는 논리 지향 계산을 위한 최적화된 평가와 사용자 정의 함수를 사용한 유연하고 비결정적인 패턴 매칭과 같은 추가 기능을 제공합니다.