팟캐스트에서 줏어 듣기로, 값이 타입에 영향을 주는 그런 타입시스템이라고 들었습니다. 이 글의 저자가 뻥셔널 언어 언급하는거 보니 그 얘기가 맞을겁니다. 뻥셔널 언어쪽에서 연구하고 만들고 있는거다보니....

예를 들면, List 타입이... 값들이 다 정렬이 되 있으면 SortedList 가 되는....

이런 성질이 있으면, 컴파일 시간에 타입검사가 더 많은걸 증명할 수 있겠죠.

어떤 함수가 SortedList 를 받아서 Sorted List 가 리턴되는 함수라면... 그런데 만약에 코드가 버그가있어서 Sort 상태를 깨버리면 컴파일 할때 type 에러가 나는거죠.

당연히.... 타입검사의 비용은 상당히 비싸겠죠...

실용성이 어디까지 와 있는지는 전혀 감이 안오네요.