看到皇銫a了嗎?7 v?2系c o?mF#代理編程的壹個極好的關鍵點是它的隔離性。
隔離意味著資源“屬於”特定的代理,不會向其他代理公開。
所以獨立狀態對於並發訪問和數據競爭是壹個很好的保護。
在F#中,異步代理的獨立性直接表示為語法範圍。例如,下面的代碼使用壹個字典來累計發送到代理對象的不同消息的數量。