Standard ML

Standard ML

Standard ML(SML)은 정적·추론적 타입, 강타입, 함수형·명령형 프로그래밍을 함께 지원하는 모듈러 언어예요. 시그니처(signature)와 구조(structure)로 대규모 프로그램을 체계적으로 나누고, 패턴 매칭·고차 함수·예외로 안전한 코드를 작성해요. SML Basis Library는 배열·벡터·리스트·문자열·파일·OS·소켓 등 표준 라이브러리를 정의하는 공식 문서로, SML 프로그램의 기본기를 다룹니다.