Знаете ли вы язык с проверкой статического типа, где код - это данные? [закрыто]

Можете ли вы назвать языки со статической проверкой типов (например, Java) и где код - это данные (как в LISP)? Я имею в виду обе вещи на одном языке.

Ответы на вопрос(6)

Ваш ответ на вопрос