cat-language

I think StrongForth, Cat and Kitten are all statically-typed, stack-based languages: https://www.stephan-becher.de/strongforth/ https://github.com/cdiggins/cat-language https://kittenlang.org/

I just don’t want the first comment here to be about the name already being taken. Let’s discuss the substance of this language and let its authors figure out marketing. If I’m reading it right, it’s a functional programming language but has higher level language capabilities built on top of it and each level of capabilities is packaged as a “level” to help know what runtime/capabilities are available to any program. I could be way off though. It also seems very dead as the original site points to a GitHub 404. Edit: bad forward on the domain but the GitHub repo is here, last update was three years ago: https://github.com/cdiggins/cat-language

I do not know too much about it, but cat is a statically typed functional stack-based programming language: https://github.com/cdiggins/cat-language

There exist other languages in the category, e.g. https://kittenlang.org/, http://www.factorcode.org/, https://github.com/cdiggins/cat-language, https://en.m.wikipedia.org/wiki/Joy_(programming_language). I assume the parent poster referred to improving those (or at least explaining which deficiencies of those myrth is addressing). (In case you didn't already, you can read about this family of languages in http://evincarofautumn.blogspot.com/2012/02/why-concatenativ...) I'm personally happy that somebody is doing more research in this field.