English Parametric polymorphism Cited by user Citation bot on 10 Jun 2022 In programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types…
English Unbounded nondeterminism Cited by user ArghaNoah on 10 Mar 2022 In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become…
Chinese 演员模型 Cited by user InternetArchiveBot on 11 Jan 2022 在電腦科學中,演員模型()是一種並行運算上的模型。「演員」是一種程式上的抽象概念,被視為並行運算的基本單元:當一個演員接收到一則訊息,它可以做出一些決策、建立更多的演員、傳送更多的訊息、決定要如何回答接下來的訊息。演员可以修改它们自己的私有状态,但是只能通过消息间接的相互影响(避免了基于锁的同步)。.