[metaprogramming] 메타 프로그래밍이란 정확히 무엇입니까?

메타 프로그래밍은 프로그램이 자신에 대한 지식을 가지고 있거나 스스로를 조작 할 수있는 다양한 방법을 말합니다.

C #과 같은 언어에서 리플렉션은 프로그램이 자체에 대한 정보를 검사 할 수 있기 때문에 메타 프로그래밍의 한 형태입니다. 예를 들어 객체의 모든 속성 목록을 반환합니다.

ActionScript와 같은 언어에서는 런타임에 함수를 평가하여 eval ( “x”+ i)와 같은 새 프로그램을 만들 수 있습니다. DoSomething ()은 i가 1이면 x1, i가 2이면 x2라는 객체에 영향을줍니다.

마지막으로, 메타 프로그래밍의 또 다른 일반적인 형태는 프로그램이 사소하지 않은 방식으로 변경 될 수있는 경우입니다. LISP는 이에 대해 잘 알려져 있으며 약 10 년 전에 Paul Graham이 옹호 한 것입니다. 그의 구체적인 에세이를 좀 찾아봐야 겠어요. 그러나 아이디어는 프로그램이 상태에 따라 프로그램의 다른 부분을 변경한다는 것입니다. 이를 통해 오늘날 대부분의 인기있는 언어에서 매우 어려운 결정을 런타임에 유연하게 내릴 수 있습니다.

또한 직선 어셈블리로 프로그래밍하던 시절에는 런타임에 스스로 변경되는 프로그램이 필요하고 매우 흔하다는 사실도 주목할 가치가 있습니다.

Paul Graham의 에세이 “What Made Lisp Different”에서 발췌 :

많은 언어에는 매크로라는 것이 있습니다. 그러나 Lisp 매크로는 독특합니다. 그리고 믿거 나 말거나, 그들이하는 일은 괄호와 관련이 있습니다. Lisp의 디자이너는 언어에 모든 괄호를 넣지 않았습니다. Blub 프로그래머에게 Lisp 코드는 이상해 보입니다. 그러나 그 괄호에는 이유가 있습니다. 그들은 Lisp와 다른 언어의 근본적인 차이점을 보여주는 외부 증거입니다.

Lisp 코드는 Lisp 데이터 개체로 구성됩니다. 그리고 소스 파일에 문자가 포함되어 있고 문자열이 언어에서 지원하는 데이터 유형 중 하나라는 사소한 의미가 아닙니다. Lisp 코드는 파서가 읽은 후 탐색 할 수있는 데이터 구조로 구성됩니다.

컴파일러가 작동하는 방식을 이해한다면 Lisp에는 구문이 없기 때문에 Lisp가 이상한 구문을 사용하는 것은 아닙니다. 다른 언어가 구문 분석 될 때 컴파일러 내에서 생성되는 구문 분석 트리에 프로그램을 작성합니다. 그러나 이러한 구문 분석 트리는 프로그램에서 완전히 액세스 할 수 있습니다. 그것들을 조작하는 프로그램을 작성할 수 있습니다. Lisp에서는 이러한 프로그램을 매크로라고합니다. 프로그램을 작성하는 프로그램입니다.

프로그램을 작성하는 프로그램? 언제 그렇게하고 싶습니까? Cobol에서 생각하면 자주는 아닙니다. Lisp에서 생각한다면 항상. 강력한 매크로의 예를 들어주고 거기에 말할 수 있다면 여기에서 편리 할 것입니다! 어떻게에 대한? 하지만 내가 그렇게한다면 Lisp를 모르는 사람에게는 횡설수설처럼 보일 것입니다. 그것이 의미하는 바를 이해하기 위해 알아야 할 모든 것을 설명 할 여지가 없습니다. 에서 안시 커먼 리스프 나는 내가 할 수있는 한 빨리 함께 일을 이동하려고, 심지어는 그래서 160 페이지까지 매크로에 도착하지 않았다.

하지만 저는 설득력있는 주장을 할 수 있다고 생각합니다. Viaweb 편집기의 소스 코드는 약 20-25 %의 매크로였습니다. 매크로는 일반 Lisp 함수보다 작성하기가 더 어렵고 필요하지 않을 때 사용하는 것은 나쁜 스타일로 간주됩니다. 따라서 해당 코드의 모든 매크로가 있어야하므로 거기에 있습니다. 이것이 의미하는 바는이 프로그램에있는 코드의 최소 20-25 %가 다른 언어로는 쉽게 할 수없는 일을하고 있다는 것입니다. 그러나 Blub 프로그래머는 Lisp의 신비한 힘에 대한 나의 주장에 대해 회의적 일 수 있습니다. 우리는 우리 자신의 즐거움을 위해이 코드를 작성하지 않았습니다. 우리는 우리와 경쟁자들 사이에 기술적 장벽을두기 위해 최대한 열심히 프로그래밍하는 작은 스타트 업이었습니다.

의심스러운 사람은 여기에 어떤 상관 관계가 있는지 궁금해 할 수 있습니다. 우리 코드의 큰 덩어리는 다른 언어로하기 매우 어려운 일을하고있었습니다. 결과 소프트웨어는 경쟁 업체의 소프트웨어가 할 수없는 일을했습니다. 어떤 종류의 연결이 있었을 수도 있습니다. 나는 당신이 그 스레드를 따르기를 권장합니다. 목발을 짚고 다니는 노인에게는 눈에 보이는 것보다 더 많은 것이있을 수 있습니다.

답변