Preguntas etiquetadas con history

Preguntas sobre la génesis y el desarrollo de la informática como disciplina científica y sus aplicaciones.

15
¿Quiénes son los legisladores de Paxos?

En el documento seminal de sistemas distribuidos The Part Time Parliament (el protocolo de Paxos), Leslie Lamport nombra legisladores ficticios que participan en el protocolo del parlamento de Paxon. Según este escrito , señala que: Les di a los legisladores griegos los nombres de los...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...