캡처 검사기 사용법
캡처 검사기 사용법 (How to Use the Capture Checker)
캡처 검사 켜기
최신 기능과 수정사항을 위해 Scala 3 nightly를 사용하세요.
본문
캡처 검사를 사용하는 어떤 파일에서든 이 import를 추가하세요.
import language.experimental.captureChecking
분리 검사 (Separation Checking)
위 import가 필요해요.
import language.experimental.captureChecking
import language.experimental.separationChecking
SBT 프로젝트 템플릿
대안으로, 시작하기 위해 미리 정의된 SBT 프로젝트를 클론할 수 있어요: https://github.com/lampepfl/scala3-cc-template
REPL / Scala-CLI
명시적 파라미터로 커맨드 라인을 사용하는 방법:
scala -S 3.nightly -language:experimental.captureChecking
또는 파일에서 읽을 때:
// foo.scala:
//> using scala 3.nightly
import language.experimental.captureChecking
...
그러면 이렇게 실행하는 것만으로 충분해요.
scala foo.scala
API 문서
Scaladoc은 캡처 검사를 지원해요. nightly 표준 라이브러리 API 문서에는 기본으로 켜져 있어요: https://nightly.scala-lang.org/api/
컴파일 옵션
다음 옵션들이 캡처 검사와 관련돼요.
-Vprint:cc— 캡처 검사가 추론한 캡처 타입과 함께 프로그램을 출력해요.-Ycc-verbose— 역량과 캡처 타입을 더 자세히 출력해요.-Ycc-debug— 다음 절에서 설명하듯, 캡처 검사에 대한 더 상세하고 구현 지향적인 정보를 제공해요.