Lua 언어의 유형 검사 변형인 Luau용 오픈 소스

Lua 프로그래밍 언어의 첫 번째 독립 실행형 릴리스의 오픈 소스 및 출판을 발표하여 Lua 언어 개발을 계속하고 Lua 5.1과 역호환됩니다. Luau 언어는 주로 스크립팅 엔진을 애플리케이션에 내장하기 위한 것이며 고성능과 낮은 리소스 소비를 달성하는 것을 목표로 합니다. 프로젝트 코드는 C++로 작성되었으며 MIT 라이선스에 따라 공개됩니다.

Luau는 유형 검사 기능과 문자열 리터럴과 같은 몇 가지 새로운 구문 구조로 Lua를 확장합니다. 언어는 Lua 5.1과 이전 버전과 호환되며 부분적으로 최신 버전과도 호환됩니다. Lua 런타임 API가 지원되므로 기존 코드 및 바인딩과 함께 Luau를 사용할 수 있습니다. 언어 런타임은 크게 재작업된 Lua 런타임 5.1 코드를 기반으로 하지만 인터프리터는 완전히 다시 작성되었습니다. 개발 과정에서 Lua에 비해 더 높은 성능을 달성하기 위해 몇 가지 새로운 최적화 기술이 사용되었습니다.

이 프로젝트는 Roblox에서 개발했으며 Roblox Studio 편집기를 포함하여 이 회사의 게임 플랫폼, 게임 및 사용자 애플리케이션의 코드에 사용됩니다. 처음에는 Luau가 비공개로 개발되었으나 결국에는 커뮤니티 참여를 통한 추가 공동 개발을 위해 개방형 프로젝트 범주로 전환하기로 결정되었습니다.

주요 기능 :

• 동적 타이핑과 정적 타이핑 사이의 중간 위치를 차지하는 점진적 타이핑. Luau를 사용하면 특수 주석을 통해 유형 정보를 지정하여 필요에 따라 정적 유형 지정을 사용할 수 있습니다. 내장 유형 "any", "nil", "boolean", "number", "string" 및 "thread"가 제공됩니다. 동시에 변수와 함수의 유형을 명시적으로 정의하지 않고도 동적 유형 지정을 사용할 수 있는 가능성이 유지됩니다. function foo(x: 숫자, y: 문자열): 부울 로컬 k: 문자열 = y:rep(x) return k == “a” end
• "\5.3x**"(0진수), "\u{**}"(유니코드 문자) 및 "\z"(줄 끝)와 같은 문자열 리터럴(Lua 1에서와 같이) 지원 숫자 형식(000 대신 000_1000000_0으로 쓸 수 있음), 0진수(XNUMXx...) 및 XNUMX진수(XNUMXb......)에 대한 리터럴을 시각화하는 기능.
• 새로운 루프 반복으로 점프하기 위해 기존 "break" 키워드를 보완하는 "continue" 표현식을 지원합니다.
• 복합 할당 연산자(+=, -=, *=, /=, %=, ^=, ..=)를 지원합니다.
• 블록 실행 중에 계산된 값을 반환하는 표현식 형식의 조건부 "if-then-else" 블록 사용을 지원합니다. 블록에서 임의의 개수의 elseif 표현식을 지정할 수 있습니다. local maxValue = a > b이면 a else b 로컬 부호 = x < 0이면 -1 elseif x > 0이면 1 else 0
• 신뢰할 수 없는 코드를 실행할 수 있는 격리 모드(샌드박스)가 있습니다. 이 기능을 사용하면 자신의 코드와 다른 개발자가 작성한 코드(예: 안전을 보장할 수 없는 타사 라이브러리)를 나란히 구성하여 실행을 구성할 수 있습니다.
• 잠재적으로 보안 문제를 일으킬 수 있는 기능이 제거된 표준 라이브러리의 제한 사항입니다. 예를 들어 라이브러리 "io"(파일 액세스 및 프로세스 시작), "package"(파일 액세스 및 모듈 로드), "os"(파일 액세스 및 환경 변수 변경 기능), "debug"(메모리를 사용한 안전하지 않은 작업) , "dofile" 및 "loadfile"(FS 액세스).
• 정적 코드 분석, 오류 식별(linter) 및 올바른 유형 사용 확인을 위한 도구를 제공합니다.
• 자체 고성능 파서, 바이트코드 해석기 및 컴파일러. Luau는 아직 JIT 컴파일을 지원하지 않지만 일부 상황에서는 Luau 인터프리터의 성능이 LuaJIT와 상당히 비슷하다고 주장됩니다.

출처 : opennet.ru