패러다임 분류의 사회문화성
어떤 형식 정의를 세워도 메모리 모델이 조건을 충족해 C++·Rust·Java가 선언형이 되어버린다 — 그래서 패러다임 분류는 결국 사회문화적 합의라는 결론.
36문항
한국어
O/X주관식4지선다
#패러다임#분류#결론
앱이 아직 설치되지 않은 것 같아요. 아래 TestFlight에서 Swiq를 설치한 뒤, 이 페이지로 돌아와 다시 눌러 주세요.
앱이 설치돼 있다면 '앱에서 열기'가 이 세트를 바로 열어요.
아직 앱이 없다면
TestFlight로 받기
미리보기
프롬프트 5장 미리보기 · 정답과 해설은 앱에서 확인하세요
1
'함수형 언어'의 정의처럼 '선언형 언어'의 정의도, 형식적으로 완벽히 합의된 경계라기보다 관례적·사회문화적 성격이 강하다.
2
선언형을 '실행 의미론에 비자명한 ∃를 갖는 언어'로 엄격히 정의하더라도, 메모리 모델 때문에 C++이 선언형에 포함되는 것을 막기 어렵다.
3
어떤 정의를 채택하든 메모리 모델이 그 조건을 거의 항상 충족하므로, C++·Rust·Java가 선언형이 되는 것을 형식적으로 배제하기 어렵다.
4
패러다임(선언형/명령형/함수형 등) 분류가 형식 정의만으로 깔끔히 나뉘지 않는 주된 이유로 가장 적절한 것은?
5
C++·Rust·Java는 통상 '명령형 언어'로 분류되지만, 동시에 정교한 메모리 모델(실행 의미론)을 가진다.
🔒 정답·해설은 앱에서만 볼 수 있어요