Computing Utility Needs Monadic AbstractionsOA
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.
Yu Du;Yu-Xuan Pan;Zi-Shu Yu;Zhi-Wei Xu
Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China University of Chinese Academy of Sciences,Beijing 100149,ChinaInstitute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China University of Chinese Academy of Sciences,Beijing 100149,ChinaInstitute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,ChinaInstitute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China Great Bay University,Dongguan 523000,China
信息技术与安全科学
cloud computingcomputilitymonadprogramming abstractionstored-computer architecture
《Journal of Computer Science & Technology》 2026 (1)
P.193-203,11
supported by the National Natural Science Foundation of China under Grant Nos.U23B2004 and 62072434.
评论