Report question

Question: Do you know of a language with Static Type checking where Code is Data?