[Scheme'26] Regions as Continuation Marks
ACM SIGPLAN · 27:02 · Watch on YouTube
이 발표는 ML의 영역 기반 메모리 관리(상수 공간 꼬리 재귀를 깨뜨림)를 Scheme/Racket 연속 표시(continuation marks)에 기반하여 재구축하여 해결할 수 있는지 묻습니다. 지금까지의 답은 아니오, 단순한 번역으로는 불가능합니다: 순진한 인코딩은 할당 연산자(at)가 항상 새로운 위치를 생성하기 때문에 같은 공간 누수에 걸립니다. 한 부분은 작동합니다: 재할당된...