스키마 유형에 대한 표준 문서를 찾고 있습니다. 예를 들어 프로그램에서 형식을 명시 적으로 지정하지 않아도됩니다. bool 또는 boolean; LIST 또는 LISTE; int 또는 Nat; List[] 또는 List[alpha] ...스키마의 유형에 대한 정확한 용어집
또 하나의 작은 질문은 "원자 표현"이 어떻게 정의되는지입니다. 예를 들어 '(1 2 3)은 원자 표현식입니까?
Here은 MIT 체계의 표준 매뉴얼입니다. 어떤 구성표를 사용하고 있는지에 따라, 이것은 당신이 찾고있는 것이거나 아닐 수도 있습니다.
지적했듯이 형식을 명시 적으로 지정하지 않아도됩니다. 따라서 유형의 개념은 언어 사양에서 대부분 빠져 있습니다.
Typed Racket이 염두에두고 있습니다.이 언어는 Scheme의 맨 위에 입력 된 언어를 작성하며이 언어는 자신의 유형을 정의합니다.
또한 값 클래스에 이름을 부여하는 계약 시스템이 있습니다. 다시 말하지만, 저는 Racket을 예로 들어 설명 할 수는 있지만 비슷한 시스템이 있다는 것을 확신합니다.
더 구체적인 내용은 없지만 질문에 대한 일반적인 대답은 없습니다.
"원자"라는 용어는 일반적으로 "복합 데이터"가 아닌 값을 나타 내기 위해 사용됩니다. 즉, 다른 값을 포함하지 않는 값입니다. 명부는 확실히 원자가 아니며 상징이 있습니다.