mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript! (by hkust-taco)
ts-opaque
Easy-to-use library that implements opaque types in TypeScript! (by seancroach)
mlscript | ts-opaque | |
---|---|---|
5 | 2 | |
133 | 51 | |
1.5% | - | |
9.5 | 10.0 | |
7 days ago | about 3 years ago | |
Scala | TypeScript | |
MIT License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mlscript
Posts with mentions or reviews of mlscript.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-16.
-
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/
ts-opaque
Posts with mentions or reviews of ts-opaque.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-14.
-
Why does typescript not catch this function type error earlier?
There are libraries you can use to prevent this if you want.
-
Rewriting TypeScript in Rust? You'D have to be
You can get close to that:
https://github.com/seancroach/ts-opaque
What are some alternatives?
When comparing mlscript and ts-opaque you can also consider the following projects:
boba - A general purpose statically-typed concatenative programming language.
rescript-compiler - The compiler for ReScript.
potigol - Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
TypeRunner - High-performance TypeScript compiler
Idris2 - A purely functional programming language with first class types