이 논문은 민감도 점진적 타이핑을 소개하고 있다. 민감도 타이핑은 함수의 입력에 대한 민감도를 검사하는 기술로, 다양한 분야에서 활용된다. 기존의 정적 민감도 타이핑 시스템은 특정 프로그래밍 패턴에 대해 지나치게 보수적이거나 복잡할 수 있다.
이 논문에서는 GSoul이라는 점진적 민감도 타이핑 언어를 제안한다. GSoul은 알 수 없는 민감도와 구간 형태의 제한된 부정확성을 지원한다. 점진적 민감도 타이핑을 통해 프로그래머는 정적 민감도 정보 없이 시작하여 점진적으로 정적 및 동적 민감도 검사를 도입할 수 있다. 특히 GSoul은 완전히 정적인 검사가 지나치게 보수적일 수 있는 재귀 함수에 대해 정확한 런타임 민감도 검사를 지원한다.
GSoul은 점진적 보장과 민감도 타입 안전성(메트릭 보존)을 만족한다. 일반적으로 점진적 메트릭 보존은 종료 민감하지 않지만, 제한된 부정확성으로 하드닝하면 종료 민감한 점진적 메트릭 보존을 달성할 수 있다. 이 논문은 GSoul의 프로토타입 구현체를 제공하며, 이를 통해 민감도 점진적 타이핑의 활용 가능성을 보여준다.
Egy másik nyelvre
a forrásanyagból
arxiv.org
Mélyebb kérdések