3 ms·
I’m working on a statically typed concatenative (stack-based functional) language called Kitten, and it’s one of the eventual goals to use type information to e
by evincarofautumn 11y ago
I’m working on a statically typed concatenative (stack-based functional) language called Kitten, and it’s one of the eventual goals to use type information to enable better editing environments, including on touch devices as seen here. The language is still a research project at this point, but it might be something you’d like to keep an eye on.
https://github.com/evincarofautumn/kitten https://github.com/evincarofautumn/kitten
- pschanely 11y agoI had no idea this many people cared about this sort of thing! I'll totally follow along. I think there's something real in all this; we just need the right combination of ideas, and perhaps the will to collaborate.
- evincarofautumn 11y agoStatically typed concatenative programming may be at the point that lazy functional programming was a few years ago. As valuable as separate research and hobby projects are, at some point we should probably put our heads together and collaborate on a single vision. I’m more than willing to lead the effort if there’s enough interest—but as it is, it seems like those most interested in seeing it happen are those least interested in actually helping. So I just keep working on Kitten. Factor is an impressive piece of engineering, and for those who like dynamic typing, I’d strongly encourage people to use it, and see how useful a dynamic and reflective programming environment can be. It’s just not the language I want to build.