smlsml 시작하기


비고

이 절에서는 sml이 무엇인지, 왜 개발자가 그것을 사용하고 싶어하는지에 대한 개요를 제공합니다.

또한 sml 내의 큰 주제를 언급하고 관련 주제에 링크해야합니다. sml에 대한 문서는 새로운 것이므로 관련 주제의 초기 버전을 만들어야 할 수도 있습니다.

설치

Standard ML에 대한 12 가지 구현이 있습니다. MLton 은 매우 최적화 된 코드를 생성하지만 REPL 이 없습니다. SML / NJ 가 가장 널리 사용되지만 학습 목적으로 약간의 오류 메시지가 있습니다. Moscow MLPoly / ML 은 시작하기 쉽지만 .mlb 패키지 형식을 지원하지 않습니다. 그것은 시작하기 위해 필수적인 것은 아니지만.

다음은 운영 체제별로 나뉘어 진 SML / NJ, Moscow ML 및 Poly / ML을 설치하기위한 지침입니다.

Windows의 경우

SML / NJ :

모스크바 ML :

  • http://mosml.org/로 가서 "Download Win. Installer"를 클릭하십시오. 설치 프로그램을 실행하십시오.
  • 이제 C:\Program Files (x86)\mosml\bin\mosml.exe 있습니다.

MacOS에서 Homebrew 사용하기

SML / NJ :

  • brew install smlnj 를 자신의 사용자로 실행하십시오. smlnj REPL을 테스트 smlnj .

모스크바 ML :

  • http://mosml.org/로 이동하여 "PKG 파일 다운로드"를 클릭하십시오. 설치 프로그램을 실행하십시오.
  • 누락되었습니다 ... REPL 테스트 방법? $PATH 지금 있습니까?

우분투 / 데비안 리눅스에서

SML / NJ :

  • sudo apt-get install smlnj 실행하여 수퍼 유저로 sudo apt-get install smlnjsudo apt-get install smlnj 하십시오. smlnj REPL을 테스트 smlnj .

모스크바 ML :

  • (Ubuntu) 슈퍼 유저로 PPA를 추가하십시오. mosml REPL을 테스트 mosml .

    sudo add-apt-repository ppa:kflarsen/mosml
    sudo apt-get update
    sudo apt-get install mosml
     

readline 지원 추가하기

이전에 REPL에 입력 된 행을 탐색하기 위해 화살표 키를 사용하려면 대부분의 SML 컴파일러가 프로그램 rlwrap 이점을 누릴 수 있습니다. MacOS에서 Homebrew를 사용하여 brew install rlwrap , Ubuntu / Debian Linux에서 sudo apt-get install rlwrap . 그런 다음 터미널에서 다음을 시도하십시오.

alias mosml='rlwrap mosml -P full'
alias sml='rlwrap sml'
alias poly='rlwrap poly'
 

이 별칭은 ~/.bashrc 추가 할 수 있으므로 기본적으로 작동합니다.

이제 화살표 키가 더 잘 작동합니다.