[ 源代码: polyml ]
软件包:polyml(5.7.1-2)
interpreter and interactive compiler for Standard ML
Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL).
This package provides the top-level interpreter and compiler.
其他与 polyml 有关的软件包
|
|
|
|
-
- dep: file
- 使用"魔数"识别文件中的数据类型
-
- dep: g++
- GNU C++ 编译器
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libffi-dev
- Foreign Function Interface library (development files)
-
- dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.7.1-2)
- modules for Poly/ML, a compiler for Standard ML