valhallac

valhallac

Valhalla 컴파일러

발할라 프로그래밍 언어

이것은 Valhalla의 파서 및 컴파일러로, 컴파일 된 바이트 코드가 실행되는 가상 컴퓨터 (Brokkr VM)를 제외합니다.

(무거운) 개발

[!!] 완전한 재 작성 및 작업 균형 작업.

---

지금까지 프론트 엔드에서 한 일 :

• 파서
  • 어휘 분석, 완전 UTF-8 지원, 취급 : 식별자, 기호, 숫자, 문자열 (많은 수의 이스케이프가있는 UTF-8), 벡터, 세트 및 그룹화 등의 모든 종류의 교정기
  • Infix, Prefix 및 접미사 표기법.
  • 우선 순위, 아티브 및 연관성의 정확한 구문 분석.
  • 언어의 기본 운영자.
  • 적절한 기능 호출, 카레링 / 부분 기능의 부분 적용이 올바르게 구현됩니다 (Haskell과 유사한 함수).
  • 멋진 줄 및 열 번호가있는 오류 메시지 및 소스 라인의 읽기.
  • 컴파일 시간에 사소한 추론 가능한 숫자 계산에 대한 일정한 접이식 최적화.
  • 특정 상황에서 암시 적 컴파일 타임 유형 주식.
  • 매크로 (매크로 정의 및 매크로 응용 프로그램 포함).
  • 사용자 정의 바이너리 연산자는 함수의 별칭으로.
• 컴파일러 (실행 파일을 조립하기 위해 바이트 코드 생성).
  • 기본 푸시 및 팝 지침과 기본 산술이있는 상수 및 현지인 테이블.
  • 코드 블록 범위 내에서 로컬 변수의 액세스, 할당 및 검색.
  • 카레 기능 생성.
  • 카레이 필요할 때 카레가 아닌 기능을 최적화하는 것이 필요하지 않을 때 (기능의 정의 및 기능의 호출을 추적함으로써).
  • 함수를 중첩 폐쇄에서 나올 때 변수를 전 세계적으로 검색하지 않도록 최적화하십시오 (중첩 클로저는 카레를 구현).
  • 꼬리 통화에 대한 기능을 최적화하십시오.
  • 변수 및 기능 유형을 추적합니다.
  • 마샬링, 즉 바이트 코드를 직렬화하고이를 가상 머신의 향후 해석 및 실행을 위해 파일에 저장합니다.
  • ...

VM, 즉 언어의 백엔드는 별도로 개발되고 있으며 반 독립적으로 진행될 것입니다.

컴파일 및 실행

지금은 녹슬이 필요합니다.

당신의 껍질 에서이 저장소의 루트에서 다음을 쓸 수 있습니다.

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

또는 컴파일러 --features=debug 토큰 스트림, 구문 트리, 기호 테이블, 바이트 코드 지침, & ct.와 같은 디버그 정보를 인쇄하도록하십시오.

cargo run --features=debug [source-file.vh]

예를 들어, 실행할 수 있습니다.

cargo run test_source.vh -v   # For verbose output.

포함 된 테스트 파일 ( test_source.vh )으로 컴파일을 보여줍니다. 물론 소스 파일의 주장은 물론 필요하다.

컴파일러가 현재하는 일의 예 :

current_compiler_test.md

설명

이 저장소에는 소스 코드의 구문 및 의미를 처리하는 프론트 엔드 (Parser 및 Bytecode 컴파일)가 포함되어 있습니다. 그런 다음 생성 된 AST는 BROKKR VM BYTECODE로 컴파일됩니다. 후속 바이트 코드의 실행은이 저장소와 별도로 존재하는 Brokkr이라는 언어의 VM (가상 머신)에 의해 처리됩니다.

Valhalla는 세트 이론 프로그래밍 언어입니다. 즉, 모든 유형이 단지 세트 인 방식으로 세트 이론의 원칙에 기초하여 모든 것이 세트의 요소 일뿐입니다. 이 언어는 유형과 상호 작용하는 새로운 방법을 제공하고 직관적 인 방법을 제공합니다. 목표는 또한 이론과 주변의 증거를 검증하는 데 사용될 수 있다는 것입니다.

언어는 일반적인 목적이지만 완전히 객체 지향적이거나 기능적인 등이있는 대신 이론을 기반으로 한 설정입니다. 내가 수집 한 것에서, 그것은 매우 인기있는 패러다임이 아닙니다 ... 가능성이 높지만, 흥미로울 것입니다.

의존성

크게 줄어 듭니다.