 | 앨리스 ML.ALICE ML은 표준 ML을 기반으로하는 기능적이며 동시적 인 분산 프로그래밍 언어입니다. |
| 지금 다운로드 | |
앨리스 ML. 순위 및 요약
광고
앨리스 ML. 태그
앨리스 ML. 설명
Alice ML은 표준 ML을 기반으로하는 기능적이고 동시적 인 분산 프로그래밍 언어입니다. Alice는 동시, 분산 및 제약 프로그래밍에 대한 풍부한 지원을 받아 확장 된 표준 ML을 기반으로하는 기능적 프로그래밍 언어입니다. "alice ml"의 주요 특징이 있습니다. 고차원 모듈 : 고차원 펑터 및 추상 서명 · 패키지 : 동적 타이핑 및 첫 번째 클래스 모듈로 정적 통합 · 산세 : 고차원 유형, 일반 및 플랫폼 독립적 인 지속성 · 구성 요소 : 플랫폼 - 독립 및 유형 안전 다이나믹 하중 · 분포 · 유형 안전 교차 플랫폼 원격 기능 및 네트워크 이동성 · 제약 조건 : 제약 조건 전파 및 프로그래밍 가능한 검색을 사용하여 조합 문제 해결 다음 도구는 다음 도구를 갖춘 풍부한 오픈 소스 프로그래밍 시스템입니다. · 가상 컴퓨터 : a Just-In-Time Compilation 지원을위한 휴대용 VM · 대화 형 시스템 : 인터프리터 - 유사한 대화 형 Toplevel · 배치 컴파일러 : 별도의 Comp 정적 링커 : 구성 요소의 유형 안전 번들 · 검사관 : 데이터 구조를 상호 작용하는 도구 · 탐색기 : 검색 문제를 대화식으로 조사하는 도구 · GTK + : GNOME 툴킷 GUI 라이브러리의 바인딩 · SQL : SQL에 액세스하기위한 라이브러리 데이터베이스 · XML : XML 문서를 구문 분석하는 간단한 라이브러리이 릴리스에서 새로운 기능 : · 앨리스는 이제 후계자 ML에 대한 제안 된 확장을 통합합니다. · 바이텍스 지터는 이제 기본 실행 단위입니다. · 문서에는 제약 프로그래밍 자습서가 포함되어 있습니다. 제약 조건 라이브러리는 현재 안정적인 Gecode 버전을 사용합니다.
앨리스 ML. 관련 소프트웨어
