[LOPSTR+PPDP'26] Functional / Logic Programming in Verse
ACM SIGPLAN · 65:27 · Watch on YouTube
Verse는 Epic Games가 개발 중인 함수형 로직 언어로, 선택과 실패를 핵심 개념으로 다룹니다. Verse에서는 배열과 타입 모두 단순한 함수입니다. ICFP에서 처음 함께 열린 LOPSTR + PPDP 키노트에서 Stephanie Weirich (UPenn)는 예제부터 시작해 언어를 구축합니다. 그런 다음 도메인 이론이나 종속 타입 대신 순수 ZF 집합론을 사용하는 작은 Ve...