Tuesday, April 24, 2007

Formal semantics of concatenative languages

Daniel Ehrenberg asks LtU readers a few questions about formalizing a minimal concatenative language.

2 comments:

Anonymous said...

Hello Slava,
Is it possible to split execution path, in concatanative languages like factor?
by that I mean, create new threads and communicate with them, or simply "splitting" from the "pipe" way of programming new words.
for example, how to save your document to a few places at once?
this is interesting to me, can you please answer? is there direct support in the language for that?

Slava Pestov said...

Factor has a distributed concurrency library (see libs/concurrency). This might be what you're looking for.