MLTON. MLTON은 표준 ML 컴파일러를 최적화하는 오픈 소스, 전체 프로그램입니다.
지금 다운로드

MLTON. 순위 및 요약

MLTON. 태그

생성하다 엮다 컴파일러 파서 생성기 ML 컴파일러 프로그램 컴파일러

MLTON. 설명

MLTON은 오픈 소스, 전체 프로그램, 표준 ML 컴파일러 최적화 MLTON은 오픈 소스, 최적화, 전체 프로그램 표준 ML 컴파일러입니다. "MLTON"의 주요 기능이 있습니다. · 다양한 플랫폼에서 실행됩니다. · 표준 ML의 정의에 주어진 전체 SML 97 언어를 지원합니다 ( 개정). · MLTON에 의해 거부 된 정의에 따라 유효한 프로그램이 있거나 MLTON이 받아 들인 정의에 따라 무효 인 프로그램이있는 경우 버그입니다. 알려진 버그 목록은 Unresolvedbugs를 참조하십시오. · 기본 라이브러리의 완전한 구현 : MLTON의 구현은 최신 기반 라이브러리 사양과 일치하며 필요한 모든 모듈과 모든 선택적인 모듈의 완전한 구현을 포함합니다. · 독립형 생성 실행 파일 : 표준 공유 라이브러리를 제외하고 실행 파일을 실행하려면 추가 코드 또는 라이브러리가 필요하지 않습니다. MLTON은 또한 정적으로 링크 된 실행 파일을 생성 할 수 있습니다. · 대규모 프로그램을 컴파일 할 수 있습니다. MLTON은 충분히 효율적이고 견고합니다 (140k 선 이상). MLTON의 분산 버전은 MLTON에 의해 컴파일되었습니다. · 대량의 메모리를 지원했습니다 (32 비트 시스템에서 최대 4G까지, 64 비트 시스템에 대한 자세한 내용). · 최대 231 - 1까지의 배열 길이, 가능한 가장 큰 TWOS 보완 32 비트 정수. · 64 비트 파일 위치를 사용하여 대용량 파일을 지원합니다. · 실행 파일은 러닝 시간이 뛰어납니다. · 작은 실행 파일을 생성합니다. · MLTON은 전체 프로그램 컴파일을 활용하여 매우 적극적인 데드 코드 제거를 수행하여 종종 매우 적극적인 데드 코드 제거를 수행합니다. 다른 SML 컴파일러보다 작은 실행 파일에. · 기본 정수, 실제 및 단어 : MLTON에서는 정수 및 단어는 32 비트이며 산술에는 태그 또는 복싱으로 인해 오버 헤드가 없습니다. 또한, 복싱으로 인한 오버 헤드를 피하고, 무의식이 없어야합니다. · Unboxed 네이티브 어레이 : MLTON에서 정수, 실제 또는 단어의 배열 (또는 벡터)은 자연스러운 C와 유사한 표현을 사용합니다. 이것은 신속하고 C. 단량체 배열 (및 벡터)을 사용하는 쉽게 데이터 교환을 지원합니다. · 다형성 대표자와 동일한 C와 같은 표현을 사용합니다. · 여러 가비지 수집 전략. · GNUMP를 기반으로 한 빠른 임의의 정밀 산술 (Intinf). · Intinf 집중 프로그램의 경우 MLTon은 Poly / mL 또는 SML / NJ보다 크기 이상이 될 수 있습니다. · 시간 및 할당의 소스 수준 프로파일 링. · MLLEX 렉서 발전기 · MLLEXC 파서 발전기 · ML-NLFFIGEN · 간단한 SML에서 C로 C 및 C에서 SML로 호출하는 것을 지원하는 FAST C ExercialFunctionInterface. · 라이브러리 소스를 매우 크고 별도의 개별 배달하는 ML 기반 시스템 등. · 할 수없는 유용한 기능을 제공하는 여러 확장 라이브러리의 수를 제공합니다. 기초 라이브러리로 구현하십시오. · MLTON은 Callcc 및 Throw를 통해 지속을 지원합니다. · MLTon은 임의의 유형의 최종 형식을 지원합니다. · MLTON은 C RAND 및 SRAND와 비슷한 기능을 지원합니다. 기능은 물론 / dev / random 및 /dev/urandom에 대한 액세스 지원을 지원합니다. 핸들러 SML로 작성되었습니다. 신호 처리기는 별도의 MLTON 스레드에서 실행되며 신호가 중단 된 스레드에 액세스 할 수 있습니다. 신호 핸들러는 선점 멀티 태스킹을 구현하기 위해 스레드와 함께 사용할 수 있습니다. · MLTON은 모든 객체의 크기 (바이트)를 반환하는 원시적입니다. 이것은 프로그램의 공간 동작을 이해하는 데 유용 할 수 있습니다. · MLTON은 C syslog 기능에 대한 완전한 인터페이스를 가지고 있습니다. · MLTON은 선제 또는 비 선제 멀티 태스킹을 구현할 수있는 자체 스레드를 지원합니다. MLTON은 또한 동시 ML (CML)에 대한 지원을 받았습니다. · MLTON은 약한 포인터를 지원하므로 가비지 수집기가 그렇게 유지되도록 강요당한 물체를 회수 할 수있게합니다. 약한 포인터는 또한 마무리를 제공하는 데 사용됩니다. · MLTON은 계산의 전체 상태를 파일에 저장하고 나중에 다시 시작하는 시설을 갖추고 있습니다. 이 기능은 준비 및 검사 점 계산을 위해 사용할 수 있습니다. 신호 핸들러 내에서 사용하여 인터럽트 구동 검사 점을 허용 할 수 있습니다.

MLTON. 관련 소프트웨어