표준 ML
범용 모듈성, 함수형 프로그래밍 언어 / From Wikipedia, the free encyclopedia
표준 ML(Standard ML, SML)은 정적 정형 및 타입 추론을 지원하는 범용 모듈성, 함수형 프로그래밍 언어. 컴파일러 개발과 프로그래밍 언어 연구, 자동 정리 증명의 개발에 사용된다.
간략 정보 패러다임, 계열 ...
패러다임 | 다중 패러다임: 함수형, 명령형, 모듈 방식[1] |
---|---|
계열 | ML |
발표일 | 1983년(41년 전)(1983)[2] |
최근 버전 | Standard ML '97[2] |
최근 버전 출시일 | 1997년(27년 전)(1997) |
자료형 체계 | 추론, 정적, 스트롱 |
파일 확장자 | .sml |
웹사이트 | smlfamily |
주요 구현체 | |
SML/NJ, MLton | |
방언 | |
앨리스, 컨커런트 ML, 디펜던트 ML | |
영향을 받은 언어 | |
ML, 호프, 파스칼 | |
영향을 준 언어 | |
Elm, F#, F*, OCaml, 파이썬,[3] 러스트, 스칼라 |
닫기
SML은 계산가능한 함수( Logic for Computable Functions )의 정리 증명 프로젝트에서 사용되는 프로그래밍 언어인 ML의 현대적 방언이다. The Definition of Standard ML에서 타입 규칙과 조작적 의미론(operational semantics)을 포함하는 표준이 있다는 점에서 널리 사용되는 언어들 사이에서 두드러진다.[4]