타입 추론과 제약 해결
Hindley–Milner 단일화, Rust 라이프타임 추론, 트레잇·타입클래스 해석 — 정적 의미론이 어떻게 '비자명한 ∃(존재 판정)'를 품는지 봅니다.
36문항
한국어
O/X주관식4지선다
#타입#타입추론#Rust
앱이 아직 설치되지 않은 것 같아요. 아래 TestFlight에서 Swiq를 설치한 뒤, 이 페이지로 돌아와 다시 눌러 주세요.
앱이 설치돼 있다면 '앱에서 열기'가 이 세트를 바로 열어요.
아직 앱이 없다면
TestFlight로 받기
미리보기
프롬프트 5장 미리보기 · 정답과 해설은 앱에서 확인하세요
1
타입 추론(type inference)은 프로그래머가 타입을 명시하지 않아도 컴파일러가 식의 타입을 추론해내는 정적 분석이다.
2
Hindley–Milner 타입 추론에서 타입 제약을 푸는 핵심 절차는?
3
타입 추론은 본질적으로 '식이 타입 검사를 통과하게 하는 타입 배정이 존재하는가?'라는 존재(∃) 문제로 볼 수 있다.
4
Rust의 대여 검사기(borrow checker)는 참조의 라이프타임을 상당 부분 추론하며, 이는 제약 조건을 푸는 과정에 해당한다.
5
Haskell의 타입 클래스나 Rust의 트레잇 해석(trait resolution)은 '적절한 인스턴스·구현이 존재하는가'를 찾는 일종의 증명 탐색이다.
🔒 정답·해설은 앱에서만 볼 수 있어요