Comparing Objective Caml and Standard ML

• 1ml

  2 262 10.0 OCaml

  1ML prototype interpreter

• book

  18 1,160 2.7 OCaml

  V2 of Real World OCaml (by realworldocaml)

  

This is an oldie but a goodie.

OCaml has, unlike Standard ML, grown quite a lot since this page was made.

In particular, the section "Standard libraries", I'd recommend looking at:

https://dev.realworldocaml.org/

A couple of places where the comparison is outdated:

- OCaml using Base [1] allows for result-type oriented programming

- OCaml using Base uses less language magic and more module system

While there was and is truth to the distinction that SML is for scientists and OCaml is for engineers, this dichotomy is getting dated: OCaml is under active development, which means that scientists who want better tooling will choose OCaml. For example, 1ML [2] by Andreas Rossberg was built in OCaml.

[1]: https://opensource.janestreet.com/base/

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• millet

  6 194 9.5 Rust

  A language server for Standard ML.

I've been using SML with millet language server and VScode.

you can highlight your code and run just the highlighted bits, in your REPL.

https://github.com/azdavis/millet

• Fable: F# |> BABEL

  60 2,826 9.7 F#

  F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

  

If you like F# but not .NET, Fable might also be worth a look: https://fable.io/

• mpl

  7 287 8.4 Standard ML

  The MaPLe compiler for efficient and scalable parallel functional programming

  

Some of us are still using SML for research and teaching, e.g. https://github.com/mpllang/mpl

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project