프로그래밍 언어의 몇 가지 좋은 아이디어

<ul> <li><strong>흐름 타이핑</strong>, <strong>차용 검사</strong>, 계약 프로그래밍은 각각 타입 추론, 메모리 접근 규칙, 불변식 명시를 통해 프로그램을 다루는 유용한 언어 기능임</li> <li>Crystal의 <strong>흐름 타이핑</strong>은 코드 위치에 따라 변수의 타입을 추론하고, 여러 타입이 가능하면 ...