제대로 디자인된 프로그래밍 언어의 쓰임새

이 광근

수정일 11/2011


프로그래밍 언어의 인기도는 분명 ``성적순''은 아니다. 현재 인기를 누리고 있는 언어들(C, C++, Java등)은 프로그래밍 언어 분야의 중요한 연구성과들을 충실히 구현한 언어들은 아니기 때문이다.

프로그램의 실행(evaluation), 기획(type), 프로그램 명시와 증명(spec and proof)등에 대해서 수학적으로 모델을 만들고 엄밀하게 찾아낸 해결방안들을 실제의 프로그래밍 언어로 최대한 담아낸 것들이 여럿 있음에도 불구하고 많은 사람들은 알고있지 못하거나 아직은 실용적이지 않을 것이라고 짐작하고 있다.

사실은, 중요한 소프트웨어의 개발에 이러한 튼튼한 기초를 가진 언어들이 그 장점을 살려 이용되고 있는 경향이 점점 빈번해지고있다. Phil Wadler는 이러한 언어가 실제 문제에 성공적으로 적용된 많은 예들을 정리해 놓고 있는데, 이들 내용과 그리고 꾸준히 증가하는 많은 예들을 정리해 본다.


소프트웨어 검증 시스템

컴파일러 시스템

통신 시스템 소프트웨어

데이타베이스 시스템

내장형 소프트웨어 시스템

분산처리 시스템

애니매이션 라이브러리

그밖에도

국내에서도


제대로 디자인된 언어의 장점 /Standard ML /OCaml /nML /Scheme /Haskell