WikiEdge:ArXiv速遞/2025-02-27
摘要
- 原文標題：On the State of Coherence in the Land of Type Classes
- 中文標題：類型類領域中的一致性狀態
- 發佈日期：2025-02-27 21:42:04+00:00
- 作者：Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham
- 分類：cs.PL
- 原文連結：http://arxiv.org/abs/2502.20546v1
中文摘要：類型類是用於實現通用算法和數據結構而不損失效率的流行工具，彌合了參數化多態和特設多態之間的差距。自它們在Haskell中的最初發展以來，現在它們在許多其他工業級編程語言中佔據了重要地位，特別是包括Swift、Rust和Scala。類型類的成功在很大程度上取決於編譯器通過類型導向解析推斷隱式參數的能力。這種技術有時被稱為**隱式編程**，它允許用戶省略語言實現可以從上下文中推導出的信息，例如特定類型類的實現。 隱式編程的一個缺點是類型導向解析可能會產生模糊的結果，從而威脅到一致性，即有效程序具有唯一含義的屬性。這個問題在社區中引發了關於如何解決它的正確方法的爭論。一方主張靈活性，其中隱式解析是上下文敏感的，並且通常依賴於依賴類型特徵來保持健全性。另一方則認為上下文不應妨礙等式推理，並且通常要求類型類實例在整個程序中是唯一的，以避免歧義。 儘管關於類型類和隱式編程的研究文獻很多，但大多數學術文獻集中在少數幾種語言上，對其他主流項目的見解很少。與此同時，後者在不同的名稱下發展出了類似的特徵和/或限制，使得語言用戶和設計者難以全面了解設計空間。為了緩解這個問題，我們着手研究Swift、Rust和Scala這三種廣泛使用類型類的流行語言，並將它們的一致性方法與Haskell的方法進行比較。結果表明，除了表面上的語法差異外，Swift、Rust和Haskell實際上非常相似，這三種語言提供了可比的策略來應對類型類實例唯一性的限制。
摘要
- 原文標題：Entanglement buffering with multiple quantum memories
- 中文標題：多量子記憶的糾纏緩衝
- 發佈日期：2025-02-27 16:25:43+00:00
- 作者：Álvaro G. Iñesta, Bethany Davies, Sounak Kar, Stephanie Wehner
- 分類：quant-ph, cs.PF
- 原文連結：http://arxiv.org/abs/2502.20240v1
中文摘要：糾纏緩衝器是能夠維持高質量糾纏的系統，確保在需要時能夠隨時使用。在這項工作中，我們研究了一個雙節點緩衝器的性能，其中每個節點都有一個長壽命的量子存儲器用於存儲糾纏，以及多個短壽命的存儲器用於生成新的糾纏。新生成的糾纏可用於純化存儲的糾纏，而存儲的糾纏會隨着時間的推移而退化。存儲的糾纏可能會由於純化失敗或使用而被移除。我們推導了系統性能的解析表達式，該性能通過糾纏可用性和使用時的平均保真度來衡量。我們的解決方案在計算上是高效的，並且為基於純化的糾纏緩衝器的性能提供了基本界限。我們表明，為了最大化使用時的糾纏平均保真度，必須儘可能頻繁地進行純化，即使這常常會導致由於純化失敗而損失高質量的糾纏。此外，我們獲得了在實際系統中設計良好純化策略的啟發式方法。一個關鍵發現是，簡單的純化協議（如DEJMPS）通常比最大化輸出保真度的協議提供更好的緩衝性能。