@toxi Do you happen to any more on the topic?
3 comments
@toxi haha, wow. I hesitated before asking, but I'm glad I did! I knew you must had more. Thank you 💜 @neauoire My pleasure - I wish could prioritize experimenting more with some of those ideas myself... Ps. ...and sorry I made you feel hesitant to ask, always happy to help (when I can)! |
@neauoire Yes & no?! 🤷♂️ Typed concatenative research is somewhat on my radar, but not following actively. Here're a few more from my notes & inbox:
Jon Purdy (author of https://kittenlang.org - also typed concatenative) gave a great talk "From Ivory to Metal" some years ago, still one of my faves about the topic:
https://www.youtube.com/watch?v=_IgqJr8jG8M
Also their previous research:
http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html
Other interesting approaches and/or impls:
https://hackerfoo.com/posts/popr-tutorial-0-dot-machines.html (multipart blog tutorial/posts)
https://digitalcommons.usmalibrary.org/usma_research_papers/508/
https://hashingit.com/elements/research-resources/2008-04-20-simple-type-inference.pdf
(also by same author: https://github.com/cdiggins/cat-language)
Robert Kleffner (OP author in cited above) is working on a new lang too:
https://github.com/glossopoeia/boba
Hth! :)
@neauoire Yes & no?! 🤷♂️ Typed concatenative research is somewhat on my radar, but not following actively. Here're a few more from my notes & inbox:
Jon Purdy (author of https://kittenlang.org - also typed concatenative) gave a great talk "From Ivory to Metal" some years ago, still one of my faves about the topic: