타입체커를 오픈소스로 공개했다