"."（dot）可以被理解為繼續(xù)（continuation），或者反過來理解，阻塞（blocking）；它的意思是前綴必須先完成通訊，即接收或發(fā)送完成，"."之后的表達(dá)式才可以開始執(zhí)行，或者稱為估值；這是π里唯一表達(dá)順序（order）的地方；

你可以給一個(gè)表達(dá)式取一個(gè)名字，習(xí)慣上使用大寫字母P, Q, R...

每個(gè)π表達(dá)式都表達(dá)了一個(gè)過程。

"|"（vertical pipe）在π里的含義是并發(fā)組合，可以看作過程的運(yùn)算符；U = P | Q | R就可以理解為過程U是由三個(gè)過程并發(fā)組成的。

π里的另一個(gè)組合過程的運(yùn)算符是"+"，summation，我們暫不介紹。

標(biāo)題的表達(dá)式里還有一個(gè)符號(hào)0，0表示一個(gè)無行為的過程（inaction）。

這一段可以在看了后面的代碼之后再回來對(duì)照理解。

Free name的含義和λ或編程語言里的定義一致；它是bound name的反義詞；bind的意思和λ也是一致的（λx)；

在π里有兩個(gè)符號(hào)會(huì)bind name，標(biāo)題里的表達(dá)式只出現(xiàn)了一個(gè)，即輸入前綴，例如：x(z)。這很容易理解，在JavaScript代碼里我們常用listener函數(shù)接收消息：

emitter.on("data", data => {
    // do something with data
})

這里的data變量的scope就是在這個(gè)匿名函數(shù)內(nèi)的，即bound name。一個(gè)過程P的Free name是它和外部產(chǎn)生行為交互的唯一方式。

這里是π process教材里的描述：

The free names of a process circumscribe its capabilities for action: for a name x, in order for P to send x, to send via x, or to receive via x, it must be that x ∈ fn(P). Thus in order for two processes to interact via a name, that name must occur free in both of them, in one case expressing a capability to send, and in the other a capability to receive.
from π calculus by Davide Sangiorgi and David Walker
譯：
一個(gè)過程的free name決定了它的行為能力，對(duì)于過程P中的name x，如果P能夠：

發(fā)送x
通過x發(fā)送其他name
通過x接收其他name

x必須是P的free name。所以如果兩個(gè)過程需要通過一個(gè)name交互，這個(gè)name必須在兩個(gè)過程中都是free name，其中一方用于發(fā)送，另一方用于接收。

這個(gè)詞在編程界被用爛了。但是它的含義沒有什么高大上的地方。一個(gè)數(shù)學(xué)公式的形式變換就是reduction，當(dāng)然我們正常情況下是希望它越變?cè)胶?jiǎn)潔的（所以叫reduce），除了你的陰險(xiǎn)的數(shù)學(xué)老師會(huì)在出題時(shí)有個(gè)相反的邪惡目的。

π只有一個(gè)reduction:

x.P | x(z).Q -> P | Q[y/z]

含義是y從channel x發(fā)送出去之后，P才可以繼續(xù)執(zhí)行；同時(shí)x(z)前綴收到了y，Q得以繼續(xù)執(zhí)行，此時(shí)Q里的所有z都要替換成y。

在編程中：

x(z).Q意味著如果x尚未收到數(shù)據(jù)，Q不能開始執(zhí)行；這個(gè)input prefix在程序語言里很容易實(shí)現(xiàn)，就是常見的listener或者callback。

x.P意味著只有y被讀走，P才會(huì)開始執(zhí)行；這類似lazy實(shí)現(xiàn)的stream，在數(shù)據(jù)沒有被讀走之前，不會(huì)再向buffer填充數(shù)據(jù)；在編程語言里實(shí)現(xiàn)這個(gè)表達(dá)式，和實(shí)現(xiàn)readable stream時(shí)，收到drain事件才開始填充數(shù)據(jù)類似。

我們先假定存在一個(gè)構(gòu)造函數(shù)或工廠方法，可以構(gòu)造一個(gè)channel對(duì)象；我們先不回答channel如何構(gòu)造，以及它內(nèi)部是什么。

我們要求channel對(duì)象有一對(duì)接口方法，按照π的邏輯應(yīng)該叫做send和receive；

注意在π里我們沒有類型和值的概念，一切變量皆channel，寫成代碼就是一切變量皆channel對(duì)象，通過channel傳遞的變量也是channel，這是π系統(tǒng)的重要特性之一：pass channel via channel（因?yàn)樗鼤?huì)讓name突破一個(gè)scope使用）。

我們首先發(fā)現(xiàn)這個(gè)表達(dá)式里的free name都得先聲明（why？）；x，y，w，a都聲明成channel（a在這個(gè)例子中沒有實(shí)際用于通訊，可以是任何東西）。

第一段代碼就是這個(gè)樣子。

class Channel {
    // placeholder
}

const channel = () => new Channel()

const x = channel()
const y = channel()
const w = channel()
const a = channel()

"."（dot）所表達(dá)的繼續(xù)，我們可以用調(diào)用一個(gè)函數(shù)來實(shí)現(xiàn)；.0，可以用調(diào)用空函數(shù)（() => {}）表示；

x.receive(z => z.send(a, () => {}))

receive方法形式上是提供一個(gè)函數(shù)f作為參數(shù)，channel x在接收到值z(mì)的時(shí)候調(diào)用這個(gè)函數(shù)f(z)；

第二個(gè)表達(dá)式：x.y.0，可以這樣寫：

x.send(w, () => y.send(w, () => {}))

注意這里要send成功之后才能繼續(xù)而不是調(diào)用send后就繼續(xù)，所以不能寫成：

x.send(w)
y.send(w)

最后一個(gè)表達(dá)式：y(v).v(u).0

y.receive(v => v.receive(u => (() => {})()))

到這里我們寫完了使用者代碼；在使用的時(shí)候我們也給Channel類的接口下了定義；如果你問哪個(gè)表示并發(fā)的vertical pipe（|）哪里去了？你想一下，我在文章的最后給出問題的答案。

在實(shí)現(xiàn)Channel類之前我們還要考慮一個(gè)順序問題。

π里的reduction是兩個(gè)并發(fā)過程之間發(fā)生的；在reduction的時(shí)候我們要調(diào)用兩個(gè)函數(shù)實(shí)現(xiàn)"."表示的繼續(xù)，分別是發(fā)送者繼續(xù)和接收者繼續(xù)，我們是否應(yīng)該約定一個(gè)固定的順序？

答案是不應(yīng)該；對(duì)于這里寫下的玩具代碼我們甚至故意加入了隨機(jī)性，這才是并發(fā)的含義，并發(fā)過程之間木有固定執(zhí)行順序。

我們先定義一個(gè)reduce函數(shù)；它的前提是send和receive兩個(gè)方法都被調(diào)用過了；這里存在兩種順序可能性：如果receive先被調(diào)用了，f被保存下來直到send被調(diào)用，這和常見的listener沒有區(qū)別；但π也允許反過來的順序，send先被調(diào)用了，則c和f都被保存下來，等到receive調(diào)用的時(shí)候再使用，這就是π里的兩個(gè)前綴會(huì)block后面的表達(dá)式估值的實(shí)現(xiàn)。

無論send和receive的實(shí)際調(diào)用順序如何，我們都希望reduce可以隨機(jī)執(zhí)行sender和receiver提供的回調(diào)函數(shù)。

class Channel {
    reduce () {
        if (!this.sendF || !this.receiveF) return
        let rnd = Match.random()
        if (rnd >= 0.5) {
            this.sendF()
            this.receiveF(this.c)
        } else {
            this.receiveF(this.c)
            this.sendF()
        }
    }

    send (c, f) {
        this.c = c
        this.sendF = f
        this.reduce()
    }

    receive (f) {
        this.receiveF = f
        this.reduce()
    }
}

寫出reduce之后send和receive就是無腦代碼了；在標(biāo)題的表達(dá)式里每個(gè)channel都只用了一次，所以我們不用在這里糾結(jié)如果重復(fù)發(fā)送和接受的情況如何解決；各種參數(shù)檢查和錯(cuò)誤處理也先不管了，先跑起來試試。

最后所有的代碼都在這里，加了一點(diǎn)打印信息，你可以運(yùn)行起來感受一下，也思考一下：

π系統(tǒng)capture了并發(fā)編程里哪些最重要的特性？沒有capture下來哪些？這段代碼里有什么東西是可能在實(shí)際編程問題上可以派上用場(chǎng)？

callback，emitter，promise，async/await能用Channel表達(dá)或者實(shí)現(xiàn)嗎？如果能，大概會(huì)是什么樣？

rx和這個(gè)Channel有什么異同？

class Channel {
  constructor (name) {
    this.name = name
  }

  reduce () {
    if (!this.sendF || !this.receiveF) return
    console.log(`passing name ${this.c.name} via channel ${this.name}`)
    let rnd = Math.random()
    if (rnd >= 0.5) {
        this.sendF()
        this.receiveF(this.c)
    } else {
        this.receiveF(this.c)
        this.sendF()
    }
  }

  send (c, f) {
    console.log(`${this.name} sending ${c.name}`)
    this.c = c
    this.sendF = f
    this.reduce()
  }

  receive (f) {
    console.log(`${this.name} receiving`)
    this.receiveF = f
    this.reduce()
  }
}

const channel = name => new Channel(name)
const x = channel("x")
const y = channel("y")
const w = channel("w")
const a = channel("a")

x.receive(z => z.send(a, () => console.log("term 1 over")))
x.send(w, () => y.send(w, () => console.log("term 2 over")))
y.receive(v => v.receive(u => (() =>
  console.log(`term 3 over, received ${u.name} finally`))()))

為什么vertical pipe表示的并發(fā)組合沒了呢？因?yàn)檫B續(xù)執(zhí)行上面代碼段里最后三句的時(shí)候，就是并發(fā)了；一定要說語言上什么符號(hào)對(duì)應(yīng)了"|"的話，對(duì)于JavaScript就是;號(hào)了；它本來在語言上是statement的順序組合，在我們這個(gè)代碼里，就是并發(fā)組合了。