2012-12-27 46 views

回答

8

见API manual

VAL绑定: '在 - >(' 一个 - >“BT) - >'bt

bind tf是一个线程,它首先等待线程t终止 ,然后,如果线程成功,则作为函数f的返回值t的应用行为。如果线程t失败,绑定t f 也会失败,同样的例外情况。

t >> = f是绑定t的替代符号。