Scholarlink

<p>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.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Computing Utility Needs Monadic Abstractions

  • 期刊论文

  • 发表日期：

    2026年1月1日

查看全文
  • Yu Du,
  • Yu-Xuan Pan,
  • Zi-Shu Yu,
  • Zhi-Wei Xu

摘要

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.