Alice ML
Alice ML은 Standard ML을 확장해 동시성·분산 프로그래밍·제약 처리를 강화한 함수형 프로그래밍 언어다. Future를 통해 계산의 결과를 비동기적으로 다루고, 고차 모듈과 동적 구성 요소 및 직렬화 기능을 결합해 네트워크 환경에서 안전한 프로그램 구성을 연구했다. Saar...
| 분류 | 함수형 프로그래밍 및 분산 프로그래밍 언어 |
|---|---|
| 기반 | Standard ML |
| 연구 기관 | Saarland University |
| 핵심 기능 | Future, 고차 모듈, 분산 실행 |
| 개발 환경 | Alice System |
Alice ML은 Standard ML을 확장해 동시성·분산 프로그래밍·제약 처리를 강화한 함수형 프로그래밍 언어다. Future를 통해 계산의 결과를 비동기적으로 다루고, 고차 모듈과 동적 구성 요소 및 직렬화 기능을 결합해 네트워크 환경에서 안전한 프로그램 구성을 연구했다. Saarland University의 연구 프로젝트인 Alice System과 함께 공개되었으며, ML 계열의 정적 타입 시스템을 분산 시스템으로 확장한 사례로 알려져 있다.[1]