.png){kind=icon}
.png){kind=icon}
Return
Computing Utility Needs Monadic Abstractions
.png){kind=icon}
PRE
AI
DOI：10.1007/s11390-026-6250-5.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Barbara Liskov proposed a vision of abstraction-powered Internet Computer in 2009, updating John McCarthy's 1961 vision of utility computing. But what kinds of abstractions are needed? What fundamental problem do such abstractions aim to solve? This position paper points out a Liskov-Lamport chasm problem and argues that one type of abstractions is needed to realize a planet-scale, abstraction-powered computing utility, termed monadic abstraction. We outline three desirable properties and research goals of such abstractions: 1) a single programming concept encapsulating data, program, and machine, 2) abstraction mechanisms facilitating enforced dynamic soundness, and 3) amortized zero-cost abstractions.
Keywords:
cloud computing
computility
monad
programming abstraction
stored-computer architecture
Journal
J
IF:
1.3
Papers:
61
Citations:
1.5K