2017年2月10日
程序复杂性(logic+control)本质与元语言抽象
摘要： 如果目标还是代码“简短、优雅、易理解、易维护”，那么代码优化是否有一个理论极限？这个极限是由什么决定的？普通代码比起最优代码多出来的“冗余部分”到底干了些什么事情？ 回答这个问题要从程序的本质说起。Pascal语言之父Niklaus Wirth在70年代提出： 随后逻辑学家和计算机科学家R Kowa 阅读全文
posted @ 2017-02-10 01:21 小天儿 阅读(539) 评论(0) 推荐(0)