Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
e
Eli Mellen
04/12/2023, 10:50 PMI’ll be leaning a discussion at my work about Elephant 2000 soon, and found this very valuable context to help ground the paper in some common, yet not clearly defined terms.
Anyone have thoughts on Elephant 2000?
big shout out to the paper for using the term “Algolic” to refer to languages related to ALGOL.
I think I’m specifically interested in trying to draw out connections between Elephant 2000 and theory making.
a
Andrew F
04/13/2023, 2:29 AMNever heard of it before, or wasn't ready to take it seriously. It looks neat. I don't suppose there's a prototype interpreter out there?
And yes, "Algolic" is fun. :D
e
Eli Mellen
04/13/2023, 10:50 AMI’m not aware of any implementations of Elephant 2000, but re-reading it last night I was struck by some similarities between Elephant 2000 and INFORM.
j
Jimmy Miller
04/13/2023, 2:29 PMHuge fan of Elephant 2000. It shows just how far we still have in expanding the linguistic side of programming. I don't think anyone has implemented it, but I think you can see the influence in Dynamicland's RealTalk. Its keywords Wish and Claim are both speech acts. The fact that dynamic land has effects in the actual world through its words makes this fact seem to be far from a coincidence. Sadly, Elephant 2000 isn't in Bret's list of papers, so I can't be certain he has read it, but I'd be surprised to find out this is an accident.
Definitely recommend reading Searle or Austin on speech acts. Searle is definitely less jargon heavy and incredibly readable.
e
Eli Mellen
04/13/2023, 2:34 PMPotentially because I’m especially and acutely APL-pilled at the moment, I was struck by sort of sneaky connections between speech acts and APL’s. While the glyphs aren’t really “readable” as text, they are readable, e.g. “union without intersection” does just that
j
João Araújo
04/22/2023, 2:56 PMthey’re readable as text, just as a different script, like Chinese is readable you just need to learn the script!
@Jimmy Miller btw, do you know if RealTalk is Open Source or if there’s at least some kind of reference somewhere?
j
Jimmy Miller
04/22/2023, 3:24 PMIt’s not open source sadly. I think this is the best post describing it https://omar.website/posts/notes-from-dynamicland-geokit/
j
João Araújo
04/22/2023, 4:30 PMgot it, thanks