首页    期刊浏览 2025年05月22日 星期四
登录注册

文章基本信息

  • 标题:Total Functional Programming
  • 本地全文:下载
  • 作者:D. A. Turner
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2004
  • 卷号:10
  • 期号:7
  • 页码:751-768
  • DOI:10.3217/jucs-010-07-0751
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:The driving idea of functional programming is to make programming more closely related to mathematics. A program in a functional language such as Haskell or Miranda consists of equations which are both computation rules and a basis for simple algebraic reasoning about the functions and data structures they define. The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination. Among other things this requires a type distinction between data, which is finite, and codata, which is potentially infinite.
  • 关键词:functional programming
国家哲学社会科学文献中心版权所有