Miranda를 계승한 순수 함수형 언어 Admiran, x86-64 어셈블리 코드로 컴파일!
by DD
5개월 전
조회수 14
Admiran은 Miranda를 기반으로 한 순수, 지연 평가(Lazy Evaluation) 함수형 언어로, Haskell의 특징을 일부 차용함
x86-64 어셈블리 코드로 컴파일되며, MacOS 및 Linux 환경에서 실행 가능함
셀프 호스팅 컴파일러(Self-hosting Compiler)를 통해 자체 컴파일이 가능하며, Hindley-Milner 타입 추론(Type Inference)을 지원함
Advent of Code 문제 해결을 위한 언어로 개발되었으며, 컴파일러 구현 방식 학습을 목표로 함
Admiran의 특징: 순수 함수형 언어
Admiran은 순수 함수형 언어(Pure Functional Language)로서, Miranda 언어를 기반으로 설계되었다. 특히, 지연 평가(Lazy Evaluation) 방식을 채택하여, 계산의 효율성을 높였다. 또한, Haskell의 특징을 차용하여, 모나딕 IO(Monadic IO), 사용자 정의 연산자, 패턴 매칭(Pattern Matching) 등 다양한 기능을 제공한다. 이러한 특징은 Admiran을 통해 함수형 프로그래밍(Functional Programming)의 개념을 깊이 있게 탐구할 수 있게 한다.
컴파일러 아키텍처 및 구현
Admiran 컴파일러는 셀프 호스팅(Self-hosting) 방식으로 구현되어, 자체 컴파일이 가능하다. 컴파일러는 토큰화(Tokenization)부터 x86-64 코드 생성까지 모든 단계를 포함하며, Hindley-Milner 타입 추론(Type Inference)을 지원한다. 또한, 모듈 간 인라이닝(Inter-module Inlining) 및 최적화(Optimization)를 통해 성능을 향상시킨다. 컴파일러의 소스 코드 규모는 약 6700 SLOC로, 컴파일러 구현 방식을 학습하기에 적합하다.
