선형타입
-
마치며프로그래밍 언어 속 타입 2022. 5. 17. 15:40
이 글은 인사이트 출판사의 제안으로 작성 중인 책 『프로그래밍 언어 속 타입』 원고의 일부입니다. 프로그래밍 언어의 역사를 되돌아보면 정적 타입 언어는 끊임없이 발전해 왔다. 자바가 처음 나오던 1990년대만 해도 매개변수에 의한 다형성은 당연한 기능이 아니었다. 학계에서는 1960년대부터 매개변수에 의한 다형성에 대한 연구가 이루어졌지만, 현실에 적용되는 속도는 훨씬 느렸다. 매개변수에 의한 다형성은 기껏해야 하스켈 같은 일부 함수형 언어에서나 찾아볼 수 있었다. 객체 지향 언어에게는 서브타입에 의한 다형성이면 충분해 보였다. 하지만 만들려는 프로그램이 크고 복잡해질수록 개발자들은 정적 타입 언어에 더 많은 기능을 요구했다. 그 결과 자바에 매개변수에 의한 다형성이 추가되었고, 매개변수에 의한 다형성을..