lambda-zero
minimalist pure lazy functional programming language (pythonic haskell) (by clark800)
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)
| lambda-zero | mlscript | |
|---|---|---|
| 1 | 7 | |
| 79 | 221 | |
| - | 1.4% | |
| 5.5 | 0.0 | |
| about 1 year ago | 5 days ago | |
| C | Scala | |
| 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.
lambda-zero
Posts with mentions or reviews of lambda-zero.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-10-20.
-
The Ultimate Conditional Syntax
Looks very similar to lambda zero syntax (https://github.com/clark800/lambda-zero):
def getNaturalName(tag, globals)
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 2024-10-20.
- MLscript
- The Ultimate Conditional Syntax
-
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/
What are some alternatives?
When comparing lambda-zero and mlscript you can also consider the following projects:
epilepsy - A functional language for C99 preprocessor metaprogramming [Moved to: https://github.com/Hirrolot/metalang99]
ts-opaque - Easy-to-use library that implements opaque types in TypeScript!
c-iterplus - Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
potigol - Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
c-iterators - :books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
mlstruct - Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"