ocaml - 클라우드에서의 온라인

프로그램:

이름

ocaml - OCaml 대화형 최상위 레벨

개요

오캄 [ 옵션 ] [ 객체 파일 ] [ 스크립트 파일 ]

기술

XNUMXD덴탈의 오캄(1) 명령은 OCaml의 최상위 시스템으로 대화식 사용을 허용합니다.
읽기-평가-인쇄 루프를 통한 OCaml 시스템. 이 모드에서 시스템은 반복적으로 읽습니다.
입력에서 OCaml 문구를 입력한 다음 이를 입력 확인, 컴파일 및 평가한 다음 인쇄합니다.
유추된 유형 및 결과 값(있는 경우). 시스템은 전에 #(날카로운) 프롬프트를 인쇄합니다.
각 구절을 읽는다.

최상위 구는 여러 줄에 걸쳐 있을 수 있습니다. ;;로 끝남 (이중 세미콜론). 그만큼
최상위 구문의 구문은 다음과 같습니다.

최상위 시스템은 다음 명령으로 시작됩니다. 오캄(1). 구문은 표준에서 읽습니다.
입력, 결과는 표준 출력에, 오류는 표준 오류에 인쇄됩니다. 파일 끝
표준 입력 종료 오캄(1).

하나 이상 객체 파일 (.cmo 또는 .cma로 끝남)이 지정되면 자동으로 로드됩니다.
최상위 레벨을 시작하기 전에.

경우 스크립트 파일 가 주어지면 파일에서 구문을 자동으로 읽고 오류를 인쇄합니다.
표준 에러. 오캄(1) 마지막 구 실행 후 종료합니다.

옵션

다음 명령줄 옵션은 다음에서 인식됩니다. 오캄(1).

-absname
오류 메시지에 절대 파일 이름을 표시합니다.

-I 예배 규칙서
소스를 검색하고 컴파일한 디렉토리 목록에 지정된 디렉토리를 추가합니다.
파일. 기본적으로 현재 디렉토리가 먼저 검색된 다음 표준 디렉토리가 검색됩니다.
라이브러리 디렉토리. 추가된 디렉토리 -I 현재 이후에 검색됩니다.
명령줄에 주어진 순서대로 디렉토리에
표준 라이브러리 디렉토리.

주어진 디렉토리가 다음으로 시작하는 경우 +, 표준 라이브러리를 기준으로 합니다.
예배 규칙서. 예를 들어, -I +컴파일러 라이브러리 하위 디렉토리를 추가합니다 컴파일러 라이브러리 of
표준 라이브러리를 검색 경로에 추가합니다.

최상위 레벨이 다음과 같이 실행되면 디렉토리를 검색 경로에 추가할 수도 있습니다.
전에, #예배 규칙서 지침.

-초기화 파일
기본 초기화 파일 대신 지정된 파일을 로드합니다. 기본 파일
is .ocamlinit 존재하는 경우 현재 디렉토리에, 그렇지 않은 경우 .ocamlinit FBI 증오 범죄 보고서
사용자의 홈 디렉토리.

-라벨
레이블은 유형에서 무시되지 않으며 레이블은 응용 프로그램에서 사용될 수 있으며 레이블이 지정됩니다.
매개변수는 임의의 순서로 제공될 수 있습니다. 이것이 기본값입니다.

-앱 기능 없음
펑터의 적용 동작을 비활성화합니다. 이 옵션을 사용하면 각 펑터
응용 프로그램은 결과에 새 유형을 생성하고 동일한 함수를 두 번 적용합니다.
동일한 인수에 대해 두 개의 호환되지 않는 구조가 생성됩니다.

-노어설트
어설션 검사를 컴파일하지 마십시오. 참고로 특별한 형태는 단언하다 그릇된 항상
특별히 입력되었기 때문에 컴파일됩니다.

-nolabels
유형에서 선택 사항이 아닌 레이블을 무시합니다. 레이블은 응용 프로그램에서 사용할 수 없으며
매개변수 순서가 엄격해집니다.

- 프롬프트 없음
입력을 기다리는 동안 프롬프트를 표시하지 마십시오.

-nopromptcont
여러 줄에서 연속 줄을 기다릴 때 보조 프롬프트를 표시하지 마십시오.
라인 입력. 예를 들어 실행할 때 사용해야 합니다. 오캄(1) 에서 이맥스(1) 창.

-nostdlib
검색된 디렉토리 목록에 표준 라이브러리 디렉토리를 포함하지 마십시오.
소스 및 컴파일된 파일용.

-오픈 모듈
최상위 레벨을 시작하기 전에 지정된 모듈을 엽니다. 여러 경우 -오픈 옵션은
명령문이 열리는 것처럼 순서대로 처리됩니다! 모듈1;; ...
열려 있는! 모듈ㄴ;; 입력되었습니다.

-ppx 명령
구문 분석 후 전처리기를 통해 추상 구문 트리를 파이프합니다. 명령. 그만큼
모듈 Ast_mapper(3) 전처리기의 외부 인터페이스를 구현합니다.

-주요한
유형 검사 중 정보 경로를 확인하여 모든 유형이 올바른지 확인하십시오.
주요 방법으로 파생됩니다. 레이블이 지정된 인수 및/또는 다형성을 사용하는 경우
이 플래그는 컴파일러의 향후 버전이
내부 알고리즘이 변경되더라도 유형을 올바르게 유추할 수 있습니다. 모든 프로그램
에 합격 -주요한 모드는 동등한 기본 모드에서도 허용됩니다.
유형이지만 이진 서명이 다르기 때문에 유형 검사 속도가 느려질 수 있습니다. 아직
소스 코드를 게시하기 전에 한 번 사용하는 것이 좋습니다.

-rectypes
유형 검사 중에 임의의 재귀 유형을 허용합니다. 기본적으로 재귀
재귀가 객체 유형을 통과하는 유형이 지원됩니다.

-안전 문자열
유형 간 분리 적용 현 와 바이트, 따라서 문자열을 읽습니다.
오직. 이것은 향후 OCaml 버전에서 기본값이 될 것입니다.

-짧은 경로
여러 모듈 경로 아래에 유형이 표시되면 가장 짧은 것을 사용하십시오.
유추된 인터페이스와 오류 및 경고 메시지에 유형의 이름을 인쇄합니다.

-표준 입력 대화식을 시작하지 않고 스크립트 파일로 표준 입력을 읽습니다.
세션.

-엄격한 시퀀스
각 시퀀스의 왼쪽 부분이 유형 단위를 갖도록 합니다.

-위험한
배열 및 문자열 액세스에 대한 바운드 확인을 해제합니다( v.(i)와시]
구조). 로 컴파일된 프로그램 -위험한 따라서 약간 더 빠르지만
안전하지 않음: 프로그램이 외부의 배열이나 문자열에 액세스하면 모든 일이 발생할 수 있습니다.
그 경계.

-안전하지 않은 문자열
유형 식별 현 와 바이트, 따라서 문자열을 쓰기 가능하게 만듭니다. 이유로
이전 버전과의 호환성을 위해 현재로서는 이것이 기본 설정이지만
향후 버전의 OCaml에서 변경됩니다.

-번역
버전 문자열을 인쇄하고 종료합니다.

-vnum 짧은 버전 번호를 인쇄하고 종료합니다.

-w 경고 목록
인수에 따라 경고 활성화 또는 비활성화 경고 목록. 참조 Ocamlc(1)
구문에 대한 경고 목록 논의.

-경고 오류 경고 목록
인수에 의해 설명된 경고를 치명적인 것으로 표시 경고 목록. 참고
경고는 트리거되지 않으며 오류를 트리거하지 않습니다.
-w 옵션. 보다 Ocamlc(1) 구문 경고 목록 논의.

-경고-도움말
사용 가능한 모든 경고 번호에 대한 설명을 표시합니다.

- 파일 파일 하이픈(-)으로 시작하는 경우에도 스크립트 파일 이름으로.

-도움 or --도움
간단한 사용 요약을 표시하고 종료합니다.

환경 변수

LC_CTYPE
iso_8859_1로 설정하면 악센트 부호가 있는 문자(ISO Latin-1 문자 세트에서 가져옴)
문자열 및 문자 리터럴은 있는 그대로 인쇄됩니다. 그렇지 않으면 다음과 같이 인쇄됩니다.
십진수 이스케이프 시퀀스.

TERM 오류 메시지를 인쇄할 때 최상위 시스템은 시각적으로 밑줄을 긋습니다.
오류의 위치. TERM 변수를 참조하여 유형을 결정합니다.
터미널을 출력하고 터미널 데이터베이스에서 해당 기능을 찾습니다.

onworks.net 서비스를 사용하여 온라인에서 ocaml 사용