새로운 통역 및 컴파일러 에 Guido Tack

앨리스는 분산, 동시 및 제약 프로그래밍을위한 다양한 지원을 확장 표준 ML 기반으로하는 함수형 프로그래밍 언어이다.여기에 "앨리스 (ML)"의 일부 주요 기능은 다음과 같습니다ย ท 선물 : 데이터 흐름 동기화 게으름과 경량 동시성ย ท 높은 순서 모듈 : 고차원 펑과 추상적 인 서명ย ท 패키지 : 동적 입력 및 최고 수준의 모듈과 정적 통합ย ท 산 세척 : 고차 형 안전, 일반 및 플랫폼에 독립적 인 지속성ย ท 구성 요소 : 플랫폼 독립성과...