-
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
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.
There is one little hitch currently, but it's easily fixed: parametericity is not ensure because we allow matching on anything, which makes type abstraction rather weak. This can be fixed by requiring a matchable or object upper bound on scrutinees' types. This way, we won't be able to match things out of abstract types like Rep. (More info in the MLscript repo, which is the more complete and practical version of the language, currently being developed.)