캡처 검사기 사용법

캡처 검사기 사용법 (How to Use the Capture Checker)

캡처 검사 켜기

최신 기능과 수정사항을 위해 Scala 3 nightly를 사용하세요.

출처: Scala 3 Reference

본문

캡처 검사를 사용하는 어떤 파일에서든 이 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 — 다음 절에서 설명하듯, 캡처 검사에 대한 더 상세하고 구현 지향적인 정보를 제공해요.