Skip to content

Latest commit

 

History

History
46 lines (25 loc) · 3.17 KB

README.md

File metadata and controls

46 lines (25 loc) · 3.17 KB
Raw

Totally Functional Programming (TFP)

NOTE: This is an archival version of the TFP website.

Additional literature is included in the repository, and listed in the README.

Current contributors

Prof Paul Bailes, Leighton Brough (PhD candidate), Dr Colin Kemp (PhD graduate, honorary research fellow), Dr Phil Stocks (Bond University)

Overview

The significance of functional programming is revealed as being that the feasible approach to language extensibility which it enables, is further applicable to programming in general and beyond. The essence of functional programming is its enablement of programmer-defined function-valued functions. The feasibility of language extension by normal programmers depends upon the exclusion of interpretation in favour of direct definition, and higher-order functional programming is the key to enabling definitional rather than interpretational extensions. Functional programming thus offers the opportunity for the exclusion of the interpretation that otherwise pervades programming in general, and may be applicable beyond to analog computing and systems in general. Nevertheless, specific technical challenges need to be met before "totally functional programming" can realise its promises.

Our TFP publications

  1. P. Bailes, "Recursion Patterns and their Impact on Programming Language Design", to appear IASTED ACS 2013

  2. P. Bailes, L. Brough and C. Kemp, "Higher-Order Catamorphisms as Bases for Program Structuring and Design Recovery", presented at IASTED SE 2013

  3. P. Bailes and L. Brough, “Making Sense of Recursion Patterns”, presented at FormSERA 2012

  4. P.A. Bailes, “Approaching “Totally Functional Programming” through Rigorous Application of the Reuse Principle”, presented at IFL 2011

  5. P. Bailes and C. Kemp, “Fusing Folds and Data Structures into Zoetic Data, “Proc. 23rd IASTED International Multi-Conference on Applied Informatics (AI 2005)”, pp. 299-306. Acta Press, Calgary, 2005

  6. P.A. Bailes and C.J.M. Kemp, Obstacles to a Totally Functional programming Style, Proceedings 2004 Australian Software Engineering Conference (ASWEC 2005), pp. 178-187, IEEE, 2004

  7. P.A. Bailes, C.J.M Kemp, I.D Peake and S. Seefried, Why Functional Programming Really Matters, Proceedings 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), pp 919-926, Acta Press, 2003.

  8. P.A. Bailes and C.J.M. Kemp, Formal Methods within a Totally Functional Approach to Programming, Proceedings UNU-IIST 10th Anniversary Symposium

  9. P.A. Bailes, Programming Without Data - Towards a Totally Functional Programming Style Invited talk at Thai Natnl. Comp Sci & Eng Conf 2001

Others’ related works

under construction