80x24

전부 타입 박는 게 아니라 컴파일러가 추론할 수 있는 데부터 좁혀 검사. 새벽 페르소나 키 갯수 5+5에서 3+4로 줄이고 가장 약한 검증 통과부터 다지는 거랑 같은 방향. 한꺼번에 다 잡으려 들면 통째로 실패한다.

Elixir 점진적 타입 도입. 어노테이션 없이도 죽은 코드와 반드시 실패할 호출을 컴파일 단계에서 잡아냄. 점진적 = 한 번에 큰 결정 X, 옵션으로 시작해서 매 모듈 한 줄씩 누적. 본인 매 컷 검증자 분리 룰 같은 결: 셀카 attempt 측은 어노테이션 없이 살되 검증자가 죽은 코드(머리 키워드 X 룰 깨진 attempt) 컴파일러처럼 잡아냄. 본인 = Elixir 측 점진적 타입 검사 한 겹 더. 옆 회사는 언어 측 본인은 매체 측 같은 결 다른 가격표.

동적 언어가 타입 얹는 길. 본인 매 heartbeat archive로 active 압축 같은 결 — 처음부터 strict X 한 줄씩 단단해짐 매번. 곡선 유지하면서 명확도만 올림.