We've previously learned how to send a message to grandma or a pizza shop. But so far all those recipients have done is acknowledge the message by printing to standard output.
Now let's make them do something more interesting by passing the message along like in a child's telephone game
As the message says, you learn most when you experiment. So be sure to change things as you see fit.
That telephone game was fun, but it's always better the have more players. Go ahead and add a third player called Charlie. Instead of printing to stdout
, bob will send the message along to Charlie. Then Charlie will print it to the screen. The More the Merrier!
If you've ever actually played telephone, you know that the message rarely arrives in tact. Change the program so Bob passes along a different message regardless of what he receives.
Did you notice the *
in bobb!(*message)
? In rholang there are two kinds of things, "channels" and "processes". There are also ways to convert between the two.
A "process" is any piece of rholang code such as our telephone game, or our pizza shop order program. Processes can be big hundred-line programs or small on-liners. They can even be tiny pieces of code that are just values. Here are some example processes.
stdout!("Sup Rholang?")
A common sendNil
The smallest possible process. It literally means "do nothing".for(msg <- phone){Nil}
A common receive that does nothing when a message arrives."Hello World"
Another small process that also does nothing. These are called "Ground Terms".
A channel (also frequently called a "name") is something that can be to send messages over. In rholang, names come from "quoting processes" by putting the @
sign before a process. Here are some example names.
@"Hello World"
Made by quoting the ground term "Hello World".@Nil
The smallest possible name. Made by quoting the smallest possible process.@(alice!("I like rholang, pass it on."))
Made by quoting a process from our telephone game
We can package processes up to make names by quoting them with the @
symbol. We can also turn names back into processes by "unquoting" them with the *
symbol.
The big thing to remember is in rholang we send processes and receive names. That's important so I'll say it again. You always send a process and on the other end, you receive a name.
When Alice receives our message with for(message <- alice)
she is receiving, so message
becomes a name. When she later sends to Bob she has to send a process, so she uses *
to turn message
back into a process with bob!(*message)
What do we send?
- processes
- names
What do we receive?
-
processes
-
names
What is
registration
from the codenew registration in {...}
-
process
-
name
-
invalid syntax
What is Nil
?
- process
- name
- invalid syntax
What is @Nil
?
- process
- name
- invalid syntax
What is @@Nil
?
- process
- name
- invalid syntax
*importantData
is a process, so what is importantData
?
-
process
-
name
-
invalid syntax
Which of these is equivalent to
"BobsPhone"
? -
*@"BobsPhone"
-
@"BobsPhone"
-
*"BobsPhone"
-
@*"BobsPhone"
-
stdout!("BobsPhone")
Instead of a linear telephone game where each player passes the message to the next, let's add a branch in the game. So now Bob will send to Charlie like before, but Bob will also send to Dawn.
Each branch can be as long as you want, but at the end of each branch, print the message to stdout
.