Package: polyml (5.8.1-1~exp1)
Links for polyml
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
표준 ML용 인터프리터 및 대화형 컴파일러
Poly/ML은 표준 ML 프로그래밍 언어의 구현으로, 표준 ML은 범용, 모듈식, type-safe, strict, 함수형 프로그래밍 언어입니다. Poly/ML은 대화형 최상위레벨 (REPL)을 통해 독립 실행 파일 생성을 지원하는 SML 97 호환 인터프리터 및 컴파일러입니다.
이 패키지는 최상위레벨 인터프리터 및 컴파일러를 제공합니다.
Other Packages Related to polyml
|
|
|
|
-
- dep: file
- "magic" 숫자를 사용해서 파일에 데이타 타입을 인식
-
- dep: g++
- GNU C++ 컴파일러
-
- dep: libc6 (>= 2.17)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml11 (>= 5.8.1)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.8.1-1~exp1)
- modules for Poly/ML, a compiler for Standard ML
Download polyml
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
arm64 | 1,611.7 kB | 13,578.0 kB | [list of files] |