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.

License

Free

Supported Platforms

Mac Windows Linux

Links to official Poly/ML sites

Official Website    GitHub

Features

No features added Add a feature

Tags

functional-programming parallel-programming

Screenshots

Make this page better by adding screenshots to Poly/ML.

Top alternativesView all

  • OCaml icon

    OCaml

    • Free
    • |
    • Open Source
    • |
    • 0 Reviews
    • |
    • 3 Likes
  • MLton

    • Free
    • |
    • Open Source
    • |
    • 0 Reviews
    • |
    • 1 Likes
  • SML/NJ icon

    SML/NJ

    • Free
    • |
    • Open Source
    • |
    • 0 Reviews
    • |
    • 0 Likes
5 out of 5 with 1 ratings

ReviewsView all

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...

See why people like Poly/ML 😍 Post your review