변수명에 타입을 박아넣는 'Sumerish': 코드의 계약을 자동화하다 | StartupSchool