The Kitten Programming Language

https://en.wikipedia.org/wiki/Joy_(programming_language)

http://www.kevinalbrecht.com/code/joy-mirror/joy.html

It's kinda like Forth crossed with Lisp.

In re: concatinative languages in general cf. "Compiling to categories", Conal Elliott, http://conal.net/papers/compiling-to-categories/

The "point-free" form (of concatinative languages) is amenable to being evaluated over different Categories (in the sense of Category Theory) to get a variety of valid computations from the same code.

I sort of painted myself into a corner with some aspects of the last compiler design, so I rearchitected things again to unblock some missing features, fix type system bugs, and make it easier to integrate with editors and such. None of this is really online yet—I haven’t been working in public that much, so the progress of the past few months, such as it is, isn’t very visible.

Anyway, I rewrote the typechecker based on “Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism”—great paper, btw—and lately I’ve been working on various things:

• Unboxed arrays, closures, and existential types. (Similar motivations to the “impl Trait” work over in Rust.)

• Standard-library design around smart pointers and low-level code, since I’m trying to write a small kernel in Kitten as an example application.

• Extensions to the permission system to give the compiler more knowledge about optimisations, make it easier to write allocation-free code, that sort of thing.

• Taking advantage of types to avoid the need to represent the data stack in memory at runtime—instead the compiler will do register allocation like a conventional C-like language compiler.

• Finally, a proper x86-64 backend—someone’s also recently expressed interest in helping with a wasm backend, which I’d like to get to.

Basically, progress continues to happen slowly. For the past few weeks it’s mostly been planning and writing my thoughts down for whenever I actually have the energy to write the code. I’ve tried to stick to a weekly schedule, but that’s been disrupted since I went and visited my family for a couple weeks. The next step, I think, is to find some source of external accountability like giving talks or committing to a release date so I have more consistent motivation to work on it.

If you want to chat about it, come hang out on the Gitter channel[1], or follow @evincarofautumn on Twitter for updates.

[1]: https://gitter.im/kittenlang/Lobby

Currently everything is public, so you can just give multiple files to the compiler and it ought to work. I’m working on a more structured module system right now. As a first step, definitions will be private to the vocab (namespace) in which they’re defined by default, and adding an “export” annotation will make them visible from other vocabs. “import” will be sugar for introducing local synonyms (aliases) of definitions in other vocabs.

What do you mean by “multi-line concatenations”?

Then you'd probably also like Rebol/Red with its minimal syntax.

Check this list of small examples: http://re-bol.com/short_rebol_examples.r or a video version of the same: https://youtu.be/lR5Fzv6DP0I