4 ms·
I have been following this project closely for a while as it is simular to an imaginary language I've always wanted (and have been slowly working on myself). Wh
by transfire 8y ago
I have been following this project closely for a while as it is simular to an imaginary language I've always wanted (and have been slowly working on myself). Whereas Kitten comes from a Haskell heritage (thus functionally pure), mine comes from a Forth hertiage (it is a true Forth). Kitten, as it seems to me, is a potentially awesome hybrid of Haskell, C (more under the hood) and Forth and I am very much looking forward to seeing its fruition. It's about time concatinative languages got their modern, mainstream turn in the sun.
- evincarofautumn 8y agoI really appreciate your ongoing support! :) I know we have different visions of the languages we want to build and use, but your suggestions have been very helpful because they’ve challenged me to think critically about the semantics & syntax of Kitten, particularly from a Forth perspective.
- carapace 8y agoYou've probably heard of it, but on the slight chance you haven't, take a look at Joy. https://en.wikipedia.org/wiki/Joy_(programming_language) https://en.wikipedia.org/wiki/Joy_(programming_language) http://www.kevinalbrecht.com/code/joy-mirror/joy.html 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/ 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.