Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

The Recursion Schemes of Scientific Models : A Multi-Paradigm Study of the Logistic Map in Haskell

Title data

Trancón y Widemann, Baltasar:
The Recursion Schemes of Scientific Models : A Multi-Paradigm Study of the Logistic Map in Haskell.
2012
Event: 1st International Workshop on Trends in Functional Progamming in Education , June 11, 2012 , St. Andrews, Scotland.
(Conference item: Workshop , Paper )

Abstract in another language

The Squiggol approach to recursive algorithms separates computation and recursion scheme. We revisit the idea in a setting of simple but paradigmatic problems in scientific, particularly ecological, modelling. It is demonstrated that each stereotypic modelling task corresponds to a simple and well-understood recursion pattern, and vice versa. The logistic map is used as the running example of a scientific model. The Haskell implementation of the recursion framework and its applications is discussed. Its benefits from the perspective of application, compared with a previous set-theoretic presentation, are numerous: Static typing and higher-order functions promote abstraction and reuse,whereas immediately executable models make interactive approaches, adequate for modelling living systems, easy and convenient. From the perspective of functional programming, the general logic of scientific modelling is summarized in a concise and familiar language, blazing the trail for trulyfunctional, real-world, non-number-crunching, scientific computing. The material presented here canbe and has been used to instruct prospective natural scientists on mathematics they are usually nottought, but which are indespensable for understanding the logic of models, most notably recursion theory. It can also be used to demonstrate to functional programmers the deep and scarcely recognized empirical and epistemological implications of both dedicated simulation programs and very abstract formal algorithms.

Further data

Item Type: Conference item (Paper)
Refereed: Yes
Additional notes: BAYCEER113954
Institutions of the University: Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling
Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER
Faculties
Faculties > Faculty of Biology, Chemistry and Earth Sciences
Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences
Research Institutions
Research Institutions > Research Centres
Result of work at the UBT: Yes
DDC Subjects: 500 Science
Date Deposited: 06 Jul 2015 10:24
Last Modified: 06 Jul 2015 10:24
URI: https://eref.uni-bayreuth.de/id/eprint/15829