Mastodon Feed: Post

Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):

lindsey@recurse.social ("Lindsey Kuper") wrote:

another sneak preview of our choreographic programming zine, which will hopefully be done soon!

Attachments:

• An Intro to our Systems In order to understand choreographic programming, we should first understand the context it exists in. In a message-passing system, independent nodes communicate by sending and receiving messages over some kind of network. Message passing is everywhere in computing, and is especially important to the study of concurrent and distributed systems! Every message has a sending node and a receiving node. Each node performs a sequence of sends and receives. Think of each node as running a program that makes send() and recv() calls, along with its own internal actions. [Comic of Alice giving a present to Carol. Alice is running the program `send(Carol, 🎁)` and Carol is running the program `my_present = recv(Alice)`. They both look very happy!] However, if the intended recipient of a sent message does not call recv(), they won't actually receive it. [Comic where Alice is trying to give a present to Carol, but Carol isn't paying attention! Alice is running the program `send(Carol, 🎁)` and Carol is doing nothing. Alice is like 😅. Poor Alice!] (remote)