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. Learn more →
Mlscript Alternatives
Similar projects and alternatives to mlscript
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
-
wort
A core concatenative programming language with variables and first-rank polymorphic type inference
-
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.
mlscript reviews and mentions
-
User Study on Helpful Error Messages
My other subreddits of interest also received an invitation to participate, for example on r/ProgrammingLanguages from u/LPTK. (And people there seemed to have enjoyed the survey, great!) Looking at post history for u/LPTK clarifies that they are the same person as https://lptk.github.io/about.html . So a reasonable guess as to who "us" is would be: a programming-language research group at UST university in Hong Kong, also the group working on MLScript. There is also a mention of Helium, an old Dutch research project about typing errors -- not sure if this work is being done on top of Helium.
- Data types with Negation
- Rewriting TypeScript in Rust? You'D have to be
-
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
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.)
-
Soft-launch Boba: a statically-typed concatenative programming language
The third language is https://github.com/hkust-taco/mlscript. It features global ML type inference with extensions .my prof is https://cse.hkust.edu.hk/~parreaux/author/lionel-parreaux/
-
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Apr 2024
Stats
hkust-taco/mlscript is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of mlscript is Scala.
Sponsored