쌓인 기록에서 찾기
무엇을 찾으세요?
날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위부터 2026년 9월 14일 (월)까지402건
2건 · "타입 시스템"조건 지우기 ×
001▲ 100 · 댓글 63프로그래밍 언어의 우수한 기능 셋Crystal의 플로우 타이핑은 정적 타입 언어에서 변수가 실행 흐름에 따라 여러 타입을 가지며, 컴파일러가 각 영역의 타입을 추론해 동적 언어 같은 경험을 제공한다.오픈소스 · 도구 · A few good ideas in programming languages
프로그래밍 언어의 우수한 기능 셋
Key Point정적 타입 언어의 복잡성을 줄이면서 안전성을 높이는 세 가지 언어 설계 아이디어를 소개해, 프로그래밍 언어 설계에서 실용성과 안전성의 균형을 생각할 수 있는 참고점을 제시한다.
핵심 요약
- Crystal의 플로우 타이핑은 정적 타입 언어에서 변수가 실행 흐름에 따라 여러 타입을 가지며, 컴파일러가 각 영역의 타입을 추론해 동적 언어 같은 경험을 제공한다.
- Rust의 빌림 검사기는 컴파일 타임에 메모리 안전을 보장하며 데이터 레이스를 방지한다. 단일 가변 참조 또는 다중 불변 참조만 허용해 읽기-쓰기 잠금과 같은 원리로 동작하면서 런타임 오버헤드 없이 안전성을 제공한다.
- D 언어의 계약 프로그래밍은 assert와 enforce를 구분하고, 함수 수준과 클래스 수준에서 선조건, 후조건, 불변식을 문법적으로 지원해 프로그램 정합성 검사를 체계적으로 작성할 수 있게 한다.
오픈소스 · 도구 · Stabilizing Rust's Never Type
Rust의 '절대 반환 안 함' 타입, 드디어 안정화
Key Point기존에 불안정한 기능이던 never 타입이 공식 지정되면서 Rust 제너릭 코드의 최적화와 타입 추론이 근본적으로 달라지기 때문이다.
핵심 요약
- Rust의 느낌표(!) 기호로 표기되는 'never 타입'이 2년 이상의 작업 끝에 8월 24일 안정화되었다.
- Never 타입은 함수가 절대 반환되지 않거나 값이 발생할 수 없는 경우를 나타내며, 컴파일러가 불필요한 코드를 최적화할 수 있게 한다.
- FromStr 트레이트처럼 실패 가능성이 없는 변환에서 Err를 never 타입으로 설정하면, 컴파일러가 오류 처리 코드를 제거할 수 있다.
- 2024 에디션부터 타입 추론의 폴백 값이 단위 타입()에서 never 타입(!)으로 변경되었는데, 이는 기술적으로 호환성을 깨뜨리는 변화다.
- 이 변경으로 타입 추론이 때로 실패해 컴파일 오류가 발생할 수 있지만, Rust의 에디션 시스템이 이전 코드와 새 코드를 동시에 지원한다.