OCaml

는 완전한 클래스 기반 객체 시스템 및 표준 ML의 스타일에 강력한 모듈 시스템 확장의 Caml 라이트 방언에 기초 ML 언어의 구현이다.
목표의 Caml 두 컴파일러를 포함한다. 하나는 C 프로그램에 의해 해석 된 바이트 코드를 생성한다.
이 컴파일러는, 신속하게 실행 본질적으로 어떤 32 또는 64 비트 유닉스 플랫폼에 이식하고 적당한 메모리 요구와 소형 코드를 생성합니다.
생성 프로그램의 성능은 bytecoded 구현을위한 아주 좋은 것입니다.
이 컴파일러가 사용될 수있다 어느 독립형 프로그램을 생성하거나 대화 형, 최상위 - 기반 시스템과 같은 독립형 배치 지향 컴파일러 등.
다른 컴파일러는 수의 고성능 네이티브 코드를 생성
프로세서.
컴파일 시간이 오래 걸리고 더 큰 코드를 생성하지만, 바이트 코드 컴파일러의 중간 메모리 요구 사항을 유지하면서 생성 된 프로그램은 우수한 성능을 제공합니다.
목표의 Caml은의 Caml 언어의 가장 인기있는 변종이다.
언어의 관점에서 보면 완전히 성장한 객체 지향 층과 코어의 Caml 언어뿐만 아니라 강력한 모듈 시스템의 모든 타입 추론 갖춘 사운드 다형성 타입 시스템에 의해 연결을 확장한다.
목표의 Caml 시스템은 9 프로세서 아키텍처 (IA32, 파워, AMD64, 알파, 스팍, Mips에서, IA64, HPPA, 스트롱)을위한 고성능 네이티브 코드 컴파일러 (ocamlopt) 기능이 언어의 업계 최강의 구현입니다, 뿐만 아니라 바이트 코드 컴파일러 (ocamlc)과 빠른 개발과 이동성에 대한 대화 형 읽기 평가 - 인쇄 루프 (OCaml의) 등.
 목표의 Caml 분포는 포괄적 인 표준 라이브러리, 재생 디버거 (ocamldebug), 렉서를 포함 (ocamllex) 및 파서 (ocamlyacc) 발전기, 전처리 꽤 - 프린터 (camlp4) 및 문서 생성기 (ocamldoc).

이 릴리스의 새로운 기능 :

은 Tcl / Tk를 8.6로 업데이트되었습니다.
오브젝트에 동일한 방법 또는 인스턴스 변수의 여러 선언을 거부합니다.
심지어 다형성 변이체의 존재 하에서, 패턴 매칭 향해 타입 정보를 전파.

버전 4.02.1의 새로운 기능 :

은 Tcl / Tk를 8.6로 업데이트되었습니다.
오브젝트에 동일한 방법 또는 인스턴스 변수의 여러 선언을 거부합니다.
심지어 다형성 변이체의 존재 하에서, 패턴 매칭 향해 타입 정보를 전파.

버전 3.12.1의 새로운 기능 :

꽃 봉오리는 고정 :
검출되지 미사용 변수 "(구조체 단부 ..)를 포함"
(CAML 목록에보고) 최상위에 camlp4 개정 구문 인쇄 버그
구성 : Cygwin에서 아래 _WIN32를 정의하지
두 개의 사용자 블록이 비교 및​​ 사용자 동작의 상이한 세트가되는 경우의 경화 일반 비교.
두 bigarrays 다른 종류가 경우에 bigarrays 사이에 강화 된 비교.
expm1 ()와 log1p의 고정 잘못된 자동 감지 ().
ocamlmktop 쉘 스크립트를 설치할 때 .EXE 접미사를 추가하지 마십시오
ocamldoc : ocamldoc 옵션의 표시에 관한 사소한 수정
OCAMLRUNPARAM에서 큰 값으로 버그를 수정
선언과 caml_major_collection_slice의 정의 사이의 불일치
기능 소원 :
추가 된 '-ml - 동의어'와 '-mli - 동의어'옵션 ocamldep하기
추가 된 '-ocamldoc'옵션 ocamlbuild하기
추가 가능성은 ocamlbuild하는 옵션을 추가
현재 camlp4 파서 및 프린터에 추가 액세스
AMD64에 부동 소수점 연산에 대한 개선 명령 선택
의 Arg에 'usage_string'기능 추가
데이터 유형 정의 형 식을 추가 할 제약 조건으로 허용
다른 것과 같은 태그 '@Before'병합 할 수 있도록 허용
파일 "_oasis"에 의존 허용
기타 변경 사항 :
32K 256K 단어에서 변경된 디폴트의 마이너 힙 크기.
박스 없음 정수로 사용자 정의 블록 값을 비교 할 때 호출 사용자 정의 블록에 새로운 조작 'compare_ext'을 추가했습니다.

버전 3.12.0의 새로운 기능 :

형태 {LBL = 팻의 기록 패턴; _} 의도적으로, 모든 레이블이 나열하지 않도록 표시합니다.
경고는 지금 번호가 오프 개별적으로 전환 할 수 있습니다. 경고의 세트를 참조 편지와 기존 시스템은 여전히​​ 지원됩니다.
입력 장치를 가지고 시퀀스의 왼쪽 부분을 강제로 '-strict 시퀀스'옵션을 추가했습니다.
맵 :지도에 대한 이해가 설정에서 기능을 구현한다.
기본 dynlink에 대한 지원을 추가합니다.
7 (코드 'M', 메소드 재정의) 경고의 의미는 (지금 모든 재정, 같은 클래스 본체 내부뿐만 아니라 반복 정의를 감지) 변경, 그것은 기본적으로 비활성화되었습니다.

버전 3.11.2의 새로운 기능 :

최소 및 최대 w.r.t.에 대한 더 나은 설명서 NaN의
ocamlbuild은 C 파일에 대한 잘못된 컴파일러를 사용
ocamlbuild가 제대로 정보를 구성 사용하지 않습니다
유닉스 LIB 일부 Windows 설치에서, 높은 시동 시간
는 scanf와 CRLF에 문제가
Windows에서 ocamlmklib 문제
소켓 주소, 예를 들면와 BSD 문제 Unix.getnameinfo에서
GNU 어셈블러에 의해 부동 소수점 리터럴의 구문 분석과 문제
모듈 및 민간 유형의 문제

요구 사항 :

GNU C 컴파일러 - GCC