typesandinference
By robkleffner
kay
A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology. (by joakim)
typesandinference | kay | |
---|---|---|
1 | 1 | |
- | 19 | |
- | - | |
- | 0.0 | |
- | about 3 years ago | |
- | Apache License 2.0 |
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.
typesandinference
Posts with mentions or reviews of typesandinference.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-03.
-
January 2021 monthly "What are you working on?" thread
I've got a few reference implementations of type inference algorithms that support principle types. They're all extensions of the Hindley-Milner type system, and so far I haven't tried to combine any of the extensions with other extensions. But I implemented them as similarly as possible so that the eventual attempt at joining them would not get hung up on implementation differences.
kay
Posts with mentions or reviews of kay.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-01-03.
What are some alternatives?
When comparing typesandinference and kay you can also consider the following projects:
exp-flow - experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]
bluebird - A work-in-progess programming language modeled after Ada and C++
ric-script - A modern scripting language; implemented in old school C, yacc & flex
yasl - Bytecode Interpreter for Yet Another Scripting Language (YASL).
Jasper - A programming language. Static types. Full type inference. Garbage collection. --- not stable
modular-breadboard-base - Breadboard base with attachment slots for various modules
sddm-blade-runner-theme - Blade Runner theme for sddm
The-Spiral-Language - Functional language with intensional polymorphism and first-class staging.