Our great sponsors
-
F* is a dependently typed language that can be transpiled to idiomatic C via the KReMLin compiler. It’s very ML-ish to write and you can leave out some proofs. It also has the benefit of being used to write a formally verified TLS implementation that’s in wide use throughout industry.
-
Have you seen Val Programming language? Probably not exact what you ask for, but might have some interesting aspects for you? I just learn about that one yesterday, from an article about value based programming. I haven't had time to download and test it myself yet.
-
InfluxDB
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.
-
Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.