0
나는 그 언어로 작성된 프로그램에서 작동하는 언어를 찾고 있습니다. 그것은 그 언어의 주된 (가능하게 유일한) 객체 인 언어입니다.상징적 인 언어를위한 반사 언어
이 점을 염두에두고 만든 자체 프로그램 변환 언어와 같은 것입니다.
동기 부여는 다음과 같다 :
실시간 계산하는 의미 프로그램 P1을 갖는 -> 내가 P1을 가지고 P1의 상징적 인 파생 상품 (또는 역도)로 변환하는 프로그램의 P2를 갖고 싶어 진짜. 분명히 P2는 대부분의 입력에 대해 적절한 작업을 수행하지 못할 수도 있습니다.
람다와 일치하는 패턴으로 볼 수도 있습니다. 하지만 매우 편리한 패턴 일치.
귀하의 연구가 제안하는 언어는 무엇입니까? 왜 그 법안에 맞지 않는 언어를 찾았습니까? 그 이유는 무엇입니까? – Marcin
@Marcin 전 순수한 시도를했지만 반사 표현은 서툴러요. 예를 들어, if-then-else 및 가드가 명확하게 나타납니다. – Yrogirg
따라서 답변을 적절하게 업데이트하십시오. – Marcin