SchemeUnit에서 R5RS 코드를 사용할 수 있습니까?

Question

수업에서 저는 SICP 과제를 해결하기 위해 이전 R5RS Scheme 표준을 사용하고 있습니다. 저는 첫 번째 개발 테스트를하고 싶습니다. 그래서 유닛 테스트 프레임 워크가 좋을 것 같았고 작은 테스트를 작성하기 위해 SchemeUnit을 선택했습니다.

출력 (문자열, 숫자 등)에서 프리미티브를 테스트하기 만하면되지만, 목록을 테스트 할 때로드 블록을 쳤습니다. 아마 테스트를 실행하는 데 사용되는 계획 방언의 차이 함께 할 수있는 뭔가가 :

foo.scm :(define a-list (list 2))

foo는-tests.scm 다음을 실행(check-equal? a-list (list 2))

결과 테스트 :

Unnamed test 
FAILURE 
name:  check-equal? 
location: tester.scm:22:3 
actual:  {2} 

expected: (2) 

테스트 스위트 실행되도록하려면, 나는 F의 상단에 "#lang scheme/base를 추가해야 oo-tests.scm 및 require 구성표 패키지 foo.scm에서 상단에 #lang r5rs과 (#%provide (all-defined))이 있어야합니다.

나는 R5RS와 "scheme/base"에서 어떻게 든 다르게 구현되어 있다고 생각한다. 함께 일할 수있는 방법은 없나요? 그리고 왜 실패합니까 ({} 대())?

Answer 1

예를 들자면, 목록은 #lang r5rs과 #lang scheme/base에서 다르게 구현됩니다. r5rs의 foo-tests.scm에 테스트를 작성할 수 있다면 혼란을 피할 수 있습니다.

foo-tests.scm 파일 상단에이 작업을 수행 할 수 있어야합니다.

테스트 스위트가 동일한 언어로 작성되면 구문 --- 및 특히 목록 표현이 일치해야합니다. 위의 테스트가 잘 통과해야합니다.

r5rs 목록과 #lang scheme (및 #lang racket)의 차이점을 자세히 설명하려면 다음과 같습니다. Racket은 불변의 cons 쌍을 사용하여 목록을 나타냅니다. 변경 불가능한 죄수 쌍은 r5rs의 set-car! 및 set-cdr! 함수를 지원하지 않으므로 #lang r5rs 언어의 기본 제공 불변 쌍을 사용하는 표준에 충실하지 않습니다. r5rs 표준을 지원하기 위해 Racket은 별도의 mutable pairs 데이터 유형을 포함하고 r5rs 내에서 일관되게 사용합니다. 그러나 라켓의 표준 쌍과 변경 가능한 쌍은 동등하게 비교되지 않습니다.