mlatu
A declarative concatenative programming language (by brightly-salty)
kitten
A statically typed concatenative systems programming language. (by evincarofautumn)
| mlatu | kitten | |
|---|---|---|
| 4 | 14 | |
| 164 | 1,118 | |
| 0.0% | 1.2% | |
| 4.5 | 1.2 | |
| 7 months ago | about 2 years ago | |
| Rust | Haskell | |
| GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
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.
mlatu
Posts with mentions or reviews of mlatu.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-25.
-
Advantages of Functional Programming
Caden Haustein has used the code for Kitten as the starting point for a language called Mlatu, which looks cool. I haven’t been writing about my PL work much, but I’ve still been doing stuff that’s related—although it may end up under a new name, not sure what I want to do with that yet.
- Mlatu: A purely-functional concatenative programming language
- Mlatu: a statically-typed, purely functional concatenative language
- Show HN: Mlatu, a Concatenative Programming Language
kitten
Posts with mentions or reviews of kitten.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-06-22.
- As you learn Forth, it learns from you (1981)
-
Retro: A Modern, Pragmatic Forth
While not quite a Forth, Kitten is a stack language:
https://kittenlang.org/
- Atunci când cauți de muncă și nu te mai angajează nimeni
-
Stack-based array-friendly static-typed proof of concept
Since you're making a statically-typed concatenative language, I'll point you to a joy reference, kitten, notes to motivate type checking stack languages, and a paper that formalizes type checking for stack languages. Since this looks like a relatively high-level stack language (given the presence of ADTs), you may find that you want to add quotes to your language, specifically opaque quotes since your language is typed. In that case, you'll realize that you'll need a better way to formulate polymorphism over stacks, and the paper on type checking will provide that to you.
-
A Forth Apologia
Well, there is Kitten, although it hasn't seen an update in two years and was moving quite slowly before that too.
https://kittenlang.org/
- main repo
-
Why Concatenative Programming Matters
Author ended up doing a lot of work on Kitten https://github.com/evincarofautumn/kitten
- The Kitten Programming Language
-
my cat is installing debian 10
Kitten lang
-
I much prefer `data.action()` to `action(data). Is it an r/unpopularopinion?
You may like https://kittenlang.org/
What are some alternatives?
When comparing mlatu and kitten you can also consider the following projects:
Monocypher - An easy to use, easy to deploy crypto library
resin - Vector space index based search engine that's available as a HTTP service or as an embedded library.
wain - WebAssembly implementation from scratch in Safe Rust with zero dependencies
gale - Strongly-typed, minimal-ish, stack-based development at storm-force speed.
SATySFi - A statically-typed, functional typesetting system
egison-quote - Quasi quotes for Egison expression