▲

Zig의 comptime이 하지 않는 일들

 (matklad.github.io)
3P by GN⁺ 4시간전 | ★ favorite | 댓글 1개
  • Zig의 comptime 기능은 매우 강력한 컴파일 타임 평가 기능을 제공하지만 의도적으로 제한적임
  • 컴파일 타임 코드 실행 시 호스트 정보에 접근 불가능, 크로스 컴파일에 적합한 설계임
  • 동적 코드 생성, DSL, RTTI, I/O 등은 지원하지 않음, 대신 명시적인 타입 기반 코드 특수화 사용
  • RTTI는 직접 구현 가능, 단 컴파일 타임에만 존재하는 타입 정보를 런타임에 사용할 수 있게 재구성 가능함
  • comptime으로 새 타입 생성 가능하지만 API 확장은 불가, 사용자 정의 메서드 추가는 불가능함

Zig의 comptime이 하지 않는 일들

  • Zig의 comptime은 제네릭, 조건부 컴파일, 직렬화, ORM 등 강력한 기능을 제공함에도 불구하고 일부 기능은 명시적으로 제한됨
  • 그 제한들이 오히려 Zig의 설계를 간결하고 예측 가능하게 만듦

  • 호스트 정보 접근 불가 (No Host Leakage)

    • comptime 코드는 코드가 실행되는 시스템이 아닌, 타겟 플랫폼을 기준으로 동작
    • Zig에서는 컴파일 타임에 호스트 시스템의 엔디안, 포인터 크기 등 정보를 사용할 수 없음
    • 이는 크로스 컴파일을 고려한 안전성 확보 목적
    • 예시 코드에서 BF16 형식 숫자의 바이트 출력이 타겟 플랫폼에 따라 다름

  • 문자열 기반 코드 생성 없음 (No #eval)

    • Zig은 C의 #include, D 언어의 mixin, Rust 매크로처럼 동적으로 코드를 생성하는 기능을 제공하지 않음
    • 대신 comptime 인자 기반의 부분 평가(partial evaluation) 지원
    • 특정 인자가 컴파일 타임에 알려져 있으면, 해당 분기만 살아남아 코드 최적화 가능

  • DSL 문법 확장 불가 (No DSLs)

    • Zig에서는 Lisp, Rust처럼 사용자 정의 구문(syntax)을 만드는 기능이 없음
    • 모든 데이터는 Zig 문법에 따른 값(value) 형태로만 전달됨
    • 포맷 문자열(printf)처럼 제한된 DSL은 comptime 문자열로만 구현 가능

  • 런타임 타입 정보 없음 (No RTTI)

    • Zig은 Python 같은 동적 언어처럼 동작할 수 있지만, 타입 정보는 오직 comptime에만 존재
    • 런타임에서도 동작하도록 하려면 직접 RTTI 구조체를 정의하고, 포인터로 조작해야 함
    • 예: struct 필드의 이름과 오프셋 정보를 담은 RTTI 구조체 정의 후, 포인터로 필드에 접근

  • 새 API 생성 불가 (No New API)

    • Zig에서는 comptime으로 새 타입을 만들 수는 있지만, 이 타입에 메서드를 추가할 수 없음
    • Rust의 derive macro처럼 API를 확장할 수 없음
    • JSON 직렬화 구현 시 .to_json() 메서드를 추가할 수 없고, 전역 함수에 타입 인자를 넘기는 방식으로 구현

  • 컴파일 타임 IO 없음 (No IO)

    • Zig의 comptime은 파일 시스템, 네트워크, 데이터베이스 등 외부 리소스 접근을 금지
    • 이로 인해 재현 가능성, 안전성, 캐시 활용성이 높아짐
    • IO가 필요하면 build 시스템인 build.zig을 사용하여 사전 생성된 Zig 코드 import 방식 사용

  • 정리: El Disco (추상화와 단순성의 균형)

    • Zig은 강력한 메타프로그래밍 기능을 제공하면서도, 매우 제한적인 설계를 통해 예측 가능성을 확보
    • 이 제한 덕분에 Zig의 comptime은 실용적이며, 이해하기 쉬운 형태로 유지
    • 복잡한 추상화 없이도 실제 사용에 유용하며, 선언된 기능만 명확히 작동
▲
GN⁺ 4시간전  [-]
Hacker News 의견

  • Zig의 comptime은 독특한 특징을 가짐

    • 다른 언어에서 다양한 기능을 대체함
    • 참조 투명성을 가짐으로써 이해하기 쉬움
    • introspection을 통해 강력한 기능을 제공함
    • Lisp와는 다른 방식으로 간단하면서도 강력한 코드 작성 가능성 제공
    • 새로운 디자인과 접근 방식을 가진 언어는 드물음

  • Zig의 comptime의 단점과 해결책

    • zig build를 통해 코드 생성 후 @import하여 컴파일함
    • 더 많은 자유와 무제한 실행 시간을 제공하지만 zig 타입을 현재 컴파일에서 값으로 생성할 자유는 없음
    • 과거 Perl과 Tcl을 C로 연결하던 경험과 유사함
    • zig 커뮤니티의 자기 비판적인 태도가 때때로 당황스러움

  • Borges의 이야기에서 인용된 스페인어 문구는 노르웨이 신에 관한 것임

  • comptime의 유연성

    • 작업 중 타입 정보가 필요할 때 함수 매개변수에 추가 가능
    • 특정 상황에서 타입 제공이 불가능할 때 설계 문제 해결 필요

  • Zig의 comptime 기능의 유명한 점

    • 제네릭, 조건부 컴파일, 서브타이핑, 직렬화, ORM 등 다양한 기능 제공
    • 다른 언어에서도 유사한 컴파일 타임 평가 기능이 있음

  • 교육적인 블로그 게시물

    • 'comptime for'와 'inline for'의 차이점 설명
    • inline 버전은 comptime에서만 길이를 알 수 있음

  • Zig 언어와 도구에 대한 긍정적인 의견

    • Rust와 같은 안전 모드가 있었으면 좋겠음
    • C/C++보다 훨씬 발전된 단계임
    • Zig 컴파일러에 깊은 인상을 받음

  • Zig의 comptime에 대한 흥미로운 점

    • 컴파일 타임에 타입을 값으로 표현할 수 있는 능력
    • 런타임 오버헤드 없이 동적 언어나 런타임 반영을 근접하게 구현 가능

  • 컴파일 타임 코드 실행에 대한 혼란

    • 컴파일 타임 코드가 실제로 로컬 호스트 머신에서 실행되는지에 대한 의문
    • Zig가 호스트 플랫폼을 숨기는 이유에 대한 궁금증
    • Zig의 cross-compile 기능에 대한 긍정적인 의견
답변달기