다른 정체성을 가진 동일한 객체?

Question

는 다소 다르지만 동일하지만 동일하지만 동일하지만 동일하지 않은 객체의 클론을 생성 할 수 있습니다.

Answer 1

아니오, Rascal은 가치 의미를 가지고 있습니다.

data X = x();
bool alwaysTrue = x() == x();

.

클로저를 사용하여 데이터로 기능을 사용하면 a에서 여전히 True를 반환 할 두 개의 구별 가능한 인스턴스를 생성 할 수 없습니다.그 이유는 폐쇄가 동일한 인스턴스를 가리키는 별칭이 없으면 폐쇄가 결코 평등하게 고려되지 않는다는 것입니다.

복제 작업도 없거나 그런 것과 같은 것도 없습니다.표현이 있으며 결과는 이들을 생성하는 표현 트리에 isomorphic이기도합니다.

Semantically Rascal은 힙의 모든 값이 실제로 공유되거나 실제로 구별 할 수 없으므로 메모리 최적화 관점은 런타임 구현에 완전히 남아 있습니다.