Standard ML은 Robin Milner가 창시한 종교프로그래밍 언어이다. The Definition of Standard ML이 경전언어 표준이다.
Standard ML의 신도들은 오늘도 참된 신타입을 잘못 믿고구현하고 있는 OCaml 이단과, 거짓 신을 믿는 Haskell 이교도, 신에 대해 듣고도 믿지 않는 Java 야만인과 아직 신에 대해 들어보지도 못한 Python 미개인을 상대로 활발한 전도 활동을 펼치고 있다. 그들에 따르면 세상은 나날이 ML에 가까워지고 있다.[1] 아니, 이거 극렬 Lisp 광신도가 하는 소리랑 거의 똑같잖아?![2]
구현[편집 | 원본 편집]
마이너 주제에 구현이 많다. 이는 Standard ML이 진리이기 때문이다.
- Standard ML of New Jersey: SML/NJ로 줄여 쓴다.
- Poly/ML
- Moscow ML
- MLton
각주
- ↑ The world moves inexorably toward ML. [1]
- ↑ Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp. | Greenspun's tenth rule