정식으로 프로그램하는 재미

이 광근


제대로 디자인된 언어로 프로그램을 작성할 때 얻을 수 있는 장점은 도대체 무엇일까? 그 대표적인 언어중 하나인 ML의 경우를 살펴보자.

작고 간단하다

안전하다

타입에 얽매이지 않는 함수도 정의할 수 있다

편향된 프로그래밍 관성에서 벗어날 수 있다

정제된 모듈 처리기능을 갖추고 있다

자동으로 메모리를 관리해 준다

예외상황 관리 매카니즘을 갖추고 있다

정형적인 의미구조를 갖추고 있다

프로그래밍의 미학


이러한 프로그래밍 언어가 실제 사용된 예 /Standard ML /OCaml /nML /Scheme /Haskell