I've just read in a discussion about dynamic typing

Reflective towers is an open problem for statically typed languages.

What are reflective towers?

I think it might be related to reflection, but I'm not sure.

If you create an example, I would prefer Java.


1 Answer 1


A reflective tower is a model for language extension. It is modeled as an infinite (tower) series of interpreters. Each interpreter is executing a program which is the interpreter one level bellow it with the programmers' program being at level 0.

Each program is a piece of code that performs computation and in that sense a function but it is also a modifiable struct (it is a data-structure).

You can read about it here


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.