소프트웨어 추상화 책에는 enum에 대한 언급이 없습니다.열거 형 언어는 합금 언어의 일부입니까?
저는 합금 모델에서 사람들이 enum을 사용하는 것을 보았습니다. 그래서 분명히 합금 도구가 지원합니다.
내가 enum에도 불구하고, 합금의 이전 버전에 enum 키워드가 언어와 인내했다 enum을 지원하는 코드의 일부 추측하고는 언어에서 제거된다. 나는 정확하게 추측합니까?
아니요, 반대입니다. 책을 출판 한 후 enum이 언어에 추가되었습니다.
다음은 책을 출판 한 후에 추가 된 기능입니다. 그들은 모두 매우 유용합니다.
let - 술어, 기능 또는 사실 외부에서 사용할 수있는 매크로. 상수 및 기타 작은 기능에 매우 유용합니다. 읽을 수있는 유형이 필요하지 않지만 오류보고는 음침합니다.meta - 사양의 입력란 및 유형에 액세스 할 수 있습니다. 당신이 반성한다면 아주 좋습니다. 초보자는 피해야합니다.private - 개인 네임 스페이스로 큰 사양에 매우 유용합니다.unsat - 해결책이 없을 때 스펙을 디버그 할 수 있습니다. 그룹화 대신 작은 사실의 사용을 촉진합니다.이 새로운 기능은 quick guide
에 설명되어 있습니다