동형성(homoiconicity; homoiconic property)

homo는 '같다'는 뜻이고 icon은 '표현'이라는 뜻이다. 그래서 동형성(homoiconicity: 호모아이코너씨티)이란 '표현이 같은 특성'을 의미한다. 프로그래밍 언어 중에서 '프로그램'에 대한 표현과 '데이터'에 대한 표현이 같은 경우가 있는데, 이런 특성을 동형성이라고 한다.

프로그래밍 언어 중에 동형 언어(homoiconic language)라는 말이 있다. 이는 프로그램에서 사용하는 자료 구조와 프로그램 형태가 같다는 뜻이다. C/C++, Java에만 익숙한 프로그래머에겐 도무지 이해되지 않겠지만, LISP이나 Scheme 같은 언어를 보면 동형성이 무엇인지 바로 감을 잡을 수 있다. LISP에서는 함수 표현이나 자료 구조 표현을 모두 리스트(list)로 나타내므로 LISP은 동형 언어라고 할 수 있다.

http://en.wikipedia.org/wiki/Homoiconicity