프로그래밍 언어 및 도구 연구소

Relational Programming: miniKanren

miniKanren은 관계형(순수 논리) 프로그래밍이 가진 힘을 범용 프로그래밍에서 실현하는 작은 임베디드 언어 모음입니다.

miniKanren은 관계형(순수 논리) 프로그래밍이 가진 힘을 범용 프로그래밍에서 실현하는 작은 임베디드 언어 모음입니다. 이 프로젝트의 현재 연구 방향에는 부분 평가 및 기능 변환을 포함하여 성능 향상을 위한 여러 기술이 포함됩니다.부분 평가를 사용하면 소스 코드를 정적으로 검사하고 변환하여 관계형 프로그램의 일부 비효율성을 제거할 수 있습니다.또한 miniKanren을 기능적 프로그래밍 언어로 변환하여 성능을 개선하는 작업도 진행 중입니다.

참가자

Ekaterina Verbitskaia
Daniil Berezun