Prolog is another that passes. The Pure language - interpreted but not compiled - should count. Compile time self modification is still there though. In terms o

Prolog is another that passes. The Pure language - interpreted but not compiled - should count. Compile time self modification is still there though. In terms of macros for code generation, syntactic extensibility, runtime+compile time reflection and staged computation without homoiconicity; Nemerle is one on .NET. C# is one step closer with its upcoming compiler as a service. Available in mono now.