프로그래밍 언어를 정의하기위한 운영 의미론 (작은 단계와 큰 단계)에 익숙합니다. 나는 의미 론적 의미론을 배우는 데 관심이 있지만 노력이 가치가 있는지 확실하지 않습니다. 다른 관점에서 동일한 자료를 배우고 있습니까, 아니면 의미 의미론을 이해해야 만 얻을 수있는 통찰력이 있습니까?
저자마다 프로그래밍 언어 의미를 나타내는 데 다른 표기법을 사용한다는 것을 알고 있습니다. 사실 Guy Steele은 흥미로운 비디오에서이 문제를 해결했습니다 . 최고의 개찰구 운영자가 잘 알려진 의미를 가지고 있는지 아는 사람이 있는지 알고 싶습니다. 예를 들어 다음 분모 시작 부분에서 선행 연산자를 이해하지 못합니다 .⊢⊢\vdash x : T1⊢ t2: T2⊢ λ …