Starlark 언어

문제 신고하기 소스 보기

이 페이지에서는 Bazel에서 사용되는 언어인 Skylark로 알려진 Starlark에 대한 개요를 제공합니다. 함수 및 유형의 전체 목록은 Bazel API 참조를 확인하세요.

언어에 관한 자세한 내용은 Starlark의 GitHub 저장소를 참고하세요.

Starlark 구문 및 동작의 신뢰할 수 있는 사양은 Starlark 언어 사양을 참고하세요.

문법

Starlark의 문법은 Python3에서 영감을 받았습니다. 다음은 Starlark에서 유효한 구문입니다.

def fizz_buzz(n):
  """Print Fizz Buzz numbers from 1 to n."""
  for i in range(1, n + 1):
    s = ""
    if i % 3 == 0:
      s += "Fizz"
    if i % 5 == 0:
      s += "Buzz"
    print(s if s else i)

fizz_buzz(20)

Starlark의 시맨틱스는 Python과 다를 수 있지만 Starlark에서 오류가 발생하는 경우를 제외하고 동작 차이는 거의 없습니다. 다음과 같은 Python 유형이 지원됩니다.

변경 가능성

Starlark는 불변성을 선호합니다. 목록과 dicts라는 두 가지 변경 가능한 데이터 구조를 사용할 수 있습니다. 목록에 값 추가 또는 사전의 항목 삭제와 같이 변경 가능한 데이터 구조의 변경사항은 현재 컨텍스트에서 생성된 객체에만 유효합니다. 컨텍스트가 완료되면 값을 변경할 수 없게 됩니다.

이는 Bazel 빌드가 병렬 실행을 사용하기 때문입니다. 빌드 중에 각 .bzl 파일과 각 BUILD 파일은 자체 실행 컨텍스트를 가져옵니다. 각 규칙은 자체 컨텍스트에서도 분석됩니다.

foo.bzl 파일을 사용하는 예를 살펴보겠습니다.

# `foo.bzl`
var = [] # declare a list

def fct(): # declare a function
  var.append(5) # append a value to the list

fct() # execute the fct function

foo.bzl가 로드되면 Bazel이 var를 만듭니다. 따라서 var는 foo.bzl 컨텍스트의 일부입니다. fct()가 실행되면 foo.bzl의 컨텍스트 내에서 실행됩니다. foo.bzl 평가가 완료되면 환경에는 값이 [5]인 변경 불가능한 항목 var가 포함됩니다.

다른 bar.bzl가 foo.bzl에서 기호를 로드하면 로드된 값은 변경할 수 없는 상태로 유지됩니다. 따라서 bar.bzl의 다음 코드는 유효하지 않습니다.

# `bar.bzl`
load(":foo.bzl", "var", "fct") # loads `var`, and `fct` from `./foo.bzl`

var.append(6)  # runtime error, the list stored in var is frozen

fct()          # runtime error, fct() attempts to modify a frozen list

bzl 파일에 정의된 전역 변수는 변수를 정의한 bzl 파일 외부에서 변경할 수 없습니다. bzl 파일을 사용하는 위의 예와 마찬가지로 규칙에 의해 반환된 값은 변경할 수 없습니다.

BUILD 파일과 .bzl 파일의 차이점

BUILD 파일은 규칙 호출을 통해 타겟을 등록합니다. .bzl 파일은 상수, 규칙, 매크로, 함수에 관한 정의를 제공합니다.

네이티브 함수와 네이티브 규칙은 BUILD 파일의 전역 기호입니다. bzl 파일은 native 모듈을 사용하여 로드해야 합니다.

BUILD 파일에는 두 가지 구문 제한이 있습니다. 1) 함수 선언은 불법이며 2) *args 및 **kwargs 인수는 허용되지 않습니다.

Python과의 차이점

  • 전역 변수는 변경할 수 없습니다.

  • 최상위 수준에서는 for 문이 허용되지 않습니다. 대신 함수 내에서 사용하세요. BUILD 파일에서는 목록 이해를 사용할 수 있습니다.

  • 최상위 수준에서는 if 문이 허용되지 않습니다. 하지만 if 표현식(first = data[0] if len(data) > 0 else None)은 사용할 수 있습니다.

  • 사전을 통한 반복을 위한 확정적 순서입니다.

  • 반복은 허용되지 않습니다.

  • Int 유형은 부호 있는 32비트 정수로 제한됩니다. 오버플로는 오류가 발생합니다.

  • 반복 중에 컬렉션을 수정하는 것은 오류입니다.

  • 동등 테스트를 제외하고 비교 연산자 <, <=, >=, > 등은 값 유형 간에 정의되지 않습니다. 즉, 5 < 'foo'에서 오류가 발생하고 5 == "5"가 false를 반환합니다.

  • 튜플에서 후행 쉼표는 튜플이 괄호 사이에 있는 경우에만(1, 대신 (1,)을 쓸 때) 유효합니다.

  • 사전 리터럴에는 중복된 키가 있을 수 없습니다. 예를 들어 {"a": 4, "b": 7, "a": 1}는 오류입니다.

  • 문자열은 큰따옴표로 표시됩니다 (예: repr을 호출하는 경우).

  • 문자열은 반복할 수 없습니다.

다음 Python 기능은 지원되지 않습니다.

  • 암시적 문자열 연결 (명시적 + 연산자 사용)
  • 체이닝된 비교 (예: 1 < x < 5)
  • class (struct 함수 참고).
  • import (load 문 참고).
  • while, yield:
  • 부동 소수점 수와 set 유형일 수 있습니다.
  • 생성기와 생성기 표현식에 관해서도 알아보았습니다.
  • is (대신 == 사용)
  • try, raise, except, finally (치명적인 오류는 fail 참고).
  • global, nonlocal:
  • 대부분의 내장 함수와 메서드가 있습니다.