软件包：polyml（5.7.1-5） [debports]
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.34)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- 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-5)
- modules for Poly/ML, a compiler for Standard ML