Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Top-level
Karsten Schmidt

@neauoire A classic! Alone the opening statement is gold:

"For those of you concerned with theorems and proofs, I apologize, today is going to be a very bad day."

If you haven't done so yet, also recommend checking out his dissertation: "A foundation for typed concatenative languages"

www2.ccs.neu.edu/racket/pubs/d

12 May 2023 at 17:27 | Wall-to-wall | Open on mastodon.thi.ng
5 comments
Devine Lu Linvega

@toxi I hadn't seen this one! thanks. Reading it now :)

12 May 2023 at 17:41 | Open on merveilles.town
Devine Lu Linvega

@toxi Do you happen to any more on the topic?

13 May 2023 at 15:28 | Open on merveilles.town
Karsten Schmidt

@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 kittenlang.org - also typed concatenative) gave a great talk "From Ivory to Metal" some years ago, still one of my faves about the topic:

youtube.com/watch?v=_IgqJr8jG8

Also their previous research:
evincarofautumn.blogspot.com/2

Other interesting approaches and/or impls:

hackerfoo.com/posts/popr-tutor (multipart blog tutorial/posts)

digitalcommons.usmalibrary.org

hashingit.com/elements/researc
(also by same author: github.com/cdiggins/cat-langua)

Robert Kleffner (OP author in cited above) is working on a new lang too:

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 kittenlang.org - also typed concatenative) gave a great talk "From Ivory to Metal" some years ago, still one of my faves about the topic:

13 May 2023 at 16:13 | Open on mastodon.thi.ng
Devine Lu Linvega

@toxi haha, wow. I hesitated before asking, but I'm glad I did! I knew you must had more. Thank you 💜

13 May 2023 at 16:14 | Open on merveilles.town
Karsten Schmidt

@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)!

13 May 2023 at 16:45 | Open on mastodon.thi.ng
Go Up