80x24

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