매크로를 확장시켜 주는 외부필터를 사용하는 대신 사용할 수 있는 또다른 방법이 있는데, 그것은 여러분의 프로그램의 일부 혹은 전체를 만들어주는 프로그램을 짜는 것이다.
무슨 말인고 하니, 예를 들어 설명해 보면, 여러분은 소스 코드를 출력해주는 프로그램을 사용할 수도 있다. 그러한 프로그램의 예를 들자면,
사인(sine)이나 코사인(cosine) 등의 함수값의 테이블을 찾아서 적절한 값을 생성시켜 주는 프로그램
이진파일에서 소스-폼(source-form) 을 추출하는 프로그램
여러분의 비트맵을 컴파일해서 고속 출력 루틴을 만들어주는 프로그램
초기화와 종료 코드를 만들어주거나, 문서를 추출하거나, 하는 프로그램
to extract documentation, initialization/finalization code, description tables, as well as normal code from the same source files,
어떤 일을 하는 쉘이나 펄 코드를 어셈블리 코드로 바꾸어 주는 프로그램
한곳에서 정의된 데이터를 여러가지의 상호 참조하는 테이블과 코드 청크들로 생성시켜 주는 프로그램
등이 있을 수 있다. (역자의 생각으로는 yacc 나 lex 등과 같은 프로그램을 이야기하는 것 같다 : 역자주 : yacc 나 lex 를 이용해서 간단한 컴파일러나 어셈블러를 만들 수 있다. 사용할 랭귀지의 문법을 입력하면, 해당하는 컴파일러가 생성된다.)
그러한 프로그램들을 한번 고려해 보라!
GCC, SML/NJ, Objective CALM, MIT-Scheme, CMUCL 등과 같은 컴파일러들은 고유의 어셈블러 백엔드를 갖추고 있다. 여러분은 이러한 백엔드를 이용해서 어셈블리 코드를 얻을 수 있다. 여러분이 사용하는 언어를 이용해서 만든 프로그램을 앞서 언급한 컴파일러로 컴파일해서 훌륭한 어셈블리 코드를 얻을 수 있고, 그 코드를 여러분이 더 낫게 수정해서 마음에 드는 어셈블리 코드를 얻을 수 있다.
프로그래밍 언어라는 아이콘을 사용해서 기계어를 다루는 툴킷의 개발과 관련된 프로젝트가 있다(실험적인 ML 버젼도 제공한다) http://www.eecs.harvard.edu/~nr/toolkit/을 한번 둘러보라
Free Reflective Computing System 을 위한 TUNES Project(http://www.tunes.org) 에서도 자체적인 어셈블러를 Scheme 언어의 확장으로 개발하고 있다. 아직 제대로 실행되는 것은 아니지만 말이다.
tunes 프로젝트에서 개발중인 어셈블러는 abstract syntax 트리를 다루는데, 그렇게 하여, 디스어셈블러로도, 어셈블러 문법 번역기로도, 컴파일러나 어셈블러들의 공통적인 백엔드로도 사용할 수 있도록 하고 있다. 또한, Scheme 이라는 언어의 강력함은 매크로 프로세싱이나 메타 프로그래밍처럼 도전할 만한 분야이다.(?)
The assembler manipulates abstract syntax trees, so it could equally serve as the basis for a assembly syntax translator, a disassembler, a common assembler/compiler back-end, etc. Also, the full power of a real language, Scheme, make it unchallenged as for macroprocessing/metaprogramming.