이전에 메릴랜드 있을 때 참석하던 Software Chat에서 "Enforcing and Validating Programmer-Defined Type System"라는 주제의 강연 메일을 받았다.

프로그램의 중요한 속성(well-formedness properties)을 보장하는 데 타입 시스템이 자연스러운 접근 방법인 것은 사실이다. 하지만 프로그래머마다 원하는 속성이 다르고, 언어 설계자가 이 모든 요구사항을 언어 타입 시스템에 모두 녹여 넣을 수 없다. 따라서 UCLA의 Todd Millstein의 아이디어는 언어 타입 시스템 자체를 확장성 있게 만들어 프로그래머가 필요한 속성을 체크할 수 있도록 타입 시스템을 확장할 수 있게 해주자는 것이다.

Clarity 프레임워크의 경우 C의 타입 시스템을 확장해서 nonnull, positive, tained 같은 타입 한정자(type qualifier)를 손쉽게 추가할 수 있게 해준다. JavaCOP은 이 아이디어를 자바 쪽으로 확장하여 객체 한정(object confinement)나 레이스 컨디션 검사 등을 자동화하는 것이다.

스크립트 언어를 위시한 한 쪽에서는 그나마 있던 컴파일 타임 검사도 안 하는 판인데, 학계에서는 각종 검사를 컴파일 타임에 조금이라도 더할 수 있게 만들고, 또 언어 사용자가 이런 검사를 추가할 수 있는 프레임워크를 만들고 있다는 게 참 재미난 현상이다.