P
P

Poly/ML

The Poly/ML implementation of Standard ML – full multiprocessor support in the thread library and garbage collector, interactive debugger, fast compiler.

Cost / License

  • Free
  • Open Source

Platforms

  • Mac
  • Windows
  • Linux
Poly/ML alternatives  
1like
3alternatives
0articles

Features

No features, maybe you want to suggest one?

 Tags

Poly/ML News & Activities

Highlights All activities

Recent activities

  • POX added Poly/ML as alternative to Yon

Poly/ML information

Popular alternatives

View all

Our users have written 1 comments and reviews about Poly/ML, and it has gotten 1 likes

Poly/ML was added to AlternativeTo by Makarius Wenzel on and this page was last updated .

Comments and Reviews

   
Daniil Baturin
0

Poly/ML is the only StandardML implementation that offers both a native code compiler and an interactive REPL. I always use it when I want SML, and I think it's the most practical SML implementation right now.

My only issue with it is that the documentation often lacks explanations and usage examples.

Review from a new or low-activity account — shown here, but not counted in the app rating.

Official Links

AppStores & Other Links

What is Poly/ML?

Poly/ML is an advanced (but little known) implementation of Standard ML.

It has a fast compiler that produces fast machine code at runtime: i.e. a running program can "eval" new SML source on the spot. Multicore hardware is supportted via native threads, mutexes and condition variables. Its runtime system performs parallel garbage collection and online sharing of immutable substructures. The debugger works via the command-line by default, but may be integrated into existing IDEs. The static phase of the compiler can produce markup for IDEs, e.g. warnings, errors, identifier scopes, inferred types of subexpressions.

Poly/ML is the preferred SML implementation for large theorem prover projects, notably Isabelle and HOL4.