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.
interprete e compilatore interattivo per Standard ML
Poly/ML è un'implementazione del linguaggio di programmazione Standard ML. Standard ML è un linguaggio di programmazione funzionale di uso generico, modulare, con gestione sicura dei tipi e stringente. Poly/ML è un interprete e compilatore conforme a SML 97, che gestisce la generazione di eseguibili autonomi con un livello superiore interattivo (REPL).
Questo pacchetto fornisce l'interprete di livello superiore e il compilatore.
Other Packages Related to polyml
|
|
|
|
-
- dep: file
- riconosce il tipo di dati in un file usando numeri "magici"
-
- dep: g++
- compilatore GNU C++
-
- dep: libc6 (>= 2.1.3)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libffi-dev
- libreria Foreign Function Interface (file di sviluppo)
-
- dep: libpolyml11 (>= 5.8.1)
- file runtime per Poly/ML, un compilatore per Standard ML
-
- dep: polyml-modules (= 5.8.1-1~exp1)
- moduli per Poly/ML, un compilatore per Standard ML
Download polyml
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
i386 | 1,246.6 kB | 9,068.0 kB | [list of files] |