합금 용어 : 그게 무슨</p> <pre><code>sig A{} </code></pre> <p>입니다 : 서명 "선언"및 서명 "을 소개합니다"원자

Question

이 고려?

답변 : 신고의 서명입니다.

무엇이 있나요?

답변 : 은 원자 집합을 소개합니다.

는 선언 및 는 경량 공식 모델링 사회에서 표준 용어를 소개인가 (소프트웨어 추상화의 93 페이지 참조)? 그것이 무엇

입니다 :

이유는 용어이 아닌가요? 답변 : 서명이 인입니다.

무엇이 있나요? 답변 : 은 원자 집합을으로 만듭니다.

또는 다른 용어.

Answer 1

"선언"은 값을주지 않고 변수를 도입 (-;)하기위한 프로그래밍 언어 또는 표준 언어의 표준 용어입니다. 나는 원자의 집합이 구속 문제 해결에 의해 결정되기 때문에 즉각적인 조작 효과가 있다는 암시를 피하기 위해 "생성"보다는 "소개"라는 용어를 사용했다.